Parikh's theorem

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo formal grammars
gptkbp:concerns context-free languages
commutative images
gptkbp:field formal language theory
https://www.w3.org/2000/01/rdf-schema#label Parikh's theorem
gptkbp:implies context-free languages and regular languages have the same Parikh images
gptkbp:namedAfter gptkb:Rohit_Parikh
gptkbp:publicationYear 1966
gptkbp:publishedIn gptkb:Journal_of_the_ACM
gptkbp:state the set of Parikh vectors of a context-free language is semilinear
gptkbp:bfsParent gptkb:Rohit_Parikh
gptkbp:bfsLayer 8