Bar-Hillel theorem

GPTKB entity
AI-created image of Bar-Hillel theorem
AI-created image

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:field formal language theory
mathematical linguistics
https://www.w3.org/2000/01/rdf-schema#label Bar-Hillel theorem
gptkbp:namedAfter gptkb:Yehoshua_Bar-Hillel
gptkbp:publishedIn gptkb:Bulletin_of_the_Research_Council_of_Israel
gptkbp:relatedTo gptkb:Chomsky_hierarchy
context-free language
gptkbp:state context-free languages are not closed under intersection or complementation
context-free languages are closed under union, concatenation, and Kleene star
gptkbp:yearProposed 1961
gptkbp:bfsParent gptkb:Yehoshua_Bar-Hillel
gptkbp:bfsLayer 3