Infinitary Axiomatization of the Equational Theory of Context-Free Languages

We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).

Saved in:
Bibliographic Details
Published in:Electronic proceedings in theoretical computer science 2013-08, Vol.126 (Proc. FICS 2013), p.44-55
Main Authors: Grathwohl, Niels Bjørn Bugge, Henglein, Fritz, Kozen, Dexter
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c299t-f30f05c40d759ccabef61df8647be418e7bbdfcacc0bee3fb87a58b49267c07d3
cites cdi_FETCH-LOGICAL-c299t-f30f05c40d759ccabef61df8647be418e7bbdfcacc0bee3fb87a58b49267c07d3
container_end_page 55
container_issue Proc. FICS 2013
container_start_page 44
container_title Electronic proceedings in theoretical computer science
container_volume 126
creator Grathwohl, Niels Bjørn Bugge
Henglein, Fritz
Kozen, Dexter
description We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).
doi_str_mv 10.4204/EPTCS.126.4
format article
fullrecord <record><control><sourceid>doaj_cross</sourceid><recordid>TN_cdi_doaj_primary_oai_doaj_org_article_43a9a29685f8495d8c0738ddeca4a231</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><doaj_id>oai_doaj_org_article_43a9a29685f8495d8c0738ddeca4a231</doaj_id><sourcerecordid>oai_doaj_org_article_43a9a29685f8495d8c0738ddeca4a231</sourcerecordid><originalsourceid>FETCH-LOGICAL-c299t-f30f05c40d759ccabef61df8647be418e7bbdfcacc0bee3fb87a58b49267c07d3</originalsourceid><addsrcrecordid>eNpNkF1LwzAUhoMoOOau_AO9l840SdvkcpRNBwUF53U4SU62jq3RtoPprzfbRDxwOF8vD4eXkPuMTgWj4nH-uqrephkrpuKKjBgt85Rlkl7_62_JpO-3NAZXTKhiROpl65u2GaD7SmbHJuxhaL5jhjYJPhk2mMw_D-cZdslqgyHq4qEK7YDHIV10iEkN7foAa-zvyI2HXY-T3zom74v5qnpO65enZTWrU8uUGlLPqae5FdSVubIWDPoic14WojQoMomlMc5bsJYaRO6NLCGXRihWlJaWjo_J8sJ1Abb6o2v28X0doNHnRejWGrqhsTvUgoMCpgqZeylU7mQEcOkcWhDAeBZZDxeW7ULfd-j_eBnVJ1_12VcdfY2wHxHybCg</addsrcrecordid><sourcetype>Open Website</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Infinitary Axiomatization of the Equational Theory of Context-Free Languages</title><source>ROAD: Directory of Open Access Scholarly Resources</source><creator>Grathwohl, Niels Bjørn Bugge ; Henglein, Fritz ; Kozen, Dexter</creator><creatorcontrib>Grathwohl, Niels Bjørn Bugge ; Henglein, Fritz ; Kozen, Dexter</creatorcontrib><description>We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).</description><identifier>ISSN: 2075-2180</identifier><identifier>EISSN: 2075-2180</identifier><identifier>DOI: 10.4204/EPTCS.126.4</identifier><language>eng</language><publisher>Open Publishing Association</publisher><ispartof>Electronic proceedings in theoretical computer science, 2013-08, Vol.126 (Proc. FICS 2013), p.44-55</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c299t-f30f05c40d759ccabef61df8647be418e7bbdfcacc0bee3fb87a58b49267c07d3</citedby><cites>FETCH-LOGICAL-c299t-f30f05c40d759ccabef61df8647be418e7bbdfcacc0bee3fb87a58b49267c07d3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Grathwohl, Niels Bjørn Bugge</creatorcontrib><creatorcontrib>Henglein, Fritz</creatorcontrib><creatorcontrib>Kozen, Dexter</creatorcontrib><title>Infinitary Axiomatization of the Equational Theory of Context-Free Languages</title><title>Electronic proceedings in theoretical computer science</title><description>We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).</description><issn>2075-2180</issn><issn>2075-2180</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2013</creationdate><recordtype>article</recordtype><sourceid>DOA</sourceid><recordid>eNpNkF1LwzAUhoMoOOau_AO9l840SdvkcpRNBwUF53U4SU62jq3RtoPprzfbRDxwOF8vD4eXkPuMTgWj4nH-uqrephkrpuKKjBgt85Rlkl7_62_JpO-3NAZXTKhiROpl65u2GaD7SmbHJuxhaL5jhjYJPhk2mMw_D-cZdslqgyHq4qEK7YDHIV10iEkN7foAa-zvyI2HXY-T3zom74v5qnpO65enZTWrU8uUGlLPqae5FdSVubIWDPoic14WojQoMomlMc5bsJYaRO6NLCGXRihWlJaWjo_J8sJ1Abb6o2v28X0doNHnRejWGrqhsTvUgoMCpgqZeylU7mQEcOkcWhDAeBZZDxeW7ULfd-j_eBnVJ1_12VcdfY2wHxHybCg</recordid><startdate>20130828</startdate><enddate>20130828</enddate><creator>Grathwohl, Niels Bjørn Bugge</creator><creator>Henglein, Fritz</creator><creator>Kozen, Dexter</creator><general>Open Publishing Association</general><scope>AAYXX</scope><scope>CITATION</scope><scope>DOA</scope></search><sort><creationdate>20130828</creationdate><title>Infinitary Axiomatization of the Equational Theory of Context-Free Languages</title><author>Grathwohl, Niels Bjørn Bugge ; Henglein, Fritz ; Kozen, Dexter</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c299t-f30f05c40d759ccabef61df8647be418e7bbdfcacc0bee3fb87a58b49267c07d3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2013</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Grathwohl, Niels Bjørn Bugge</creatorcontrib><creatorcontrib>Henglein, Fritz</creatorcontrib><creatorcontrib>Kozen, Dexter</creatorcontrib><collection>CrossRef</collection><collection>DOAJ Directory of Open Access Journals</collection><jtitle>Electronic proceedings in theoretical computer science</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Grathwohl, Niels Bjørn Bugge</au><au>Henglein, Fritz</au><au>Kozen, Dexter</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Infinitary Axiomatization of the Equational Theory of Context-Free Languages</atitle><jtitle>Electronic proceedings in theoretical computer science</jtitle><date>2013-08-28</date><risdate>2013</risdate><volume>126</volume><issue>Proc. FICS 2013</issue><spage>44</spage><epage>55</epage><pages>44-55</pages><issn>2075-2180</issn><eissn>2075-2180</eissn><abstract>We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).</abstract><pub>Open Publishing Association</pub><doi>10.4204/EPTCS.126.4</doi><tpages>12</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 2075-2180
ispartof Electronic proceedings in theoretical computer science, 2013-08, Vol.126 (Proc. FICS 2013), p.44-55
issn 2075-2180
2075-2180
language eng
recordid cdi_doaj_primary_oai_doaj_org_article_43a9a29685f8495d8c0738ddeca4a231
source ROAD: Directory of Open Access Scholarly Resources
title Infinitary Axiomatization of the Equational Theory of Context-Free Languages
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-04T14%3A31%3A24IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-doaj_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Infinitary%20Axiomatization%20of%20the%20Equational%20Theory%20of%20Context-Free%20Languages&rft.jtitle=Electronic%20proceedings%20in%20theoretical%20computer%20science&rft.au=Grathwohl,%20Niels%20Bj%C3%B8rn%20Bugge&rft.date=2013-08-28&rft.volume=126&rft.issue=Proc.%20FICS%202013&rft.spage=44&rft.epage=55&rft.pages=44-55&rft.issn=2075-2180&rft.eissn=2075-2180&rft_id=info:doi/10.4204/EPTCS.126.4&rft_dat=%3Cdoaj_cross%3Eoai_doaj_org_article_43a9a29685f8495d8c0738ddeca4a231%3C/doaj_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c299t-f30f05c40d759ccabef61df8647be418e7bbdfcacc0bee3fb87a58b49267c07d3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true