Bar-Hillel–Kuratowski theorem
GPTKB entity
AI-created image
Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:field |
gptkb:logic
formal language theory |
| gptkbp:namedAfter |
gptkb:Kazimierz_Kuratowski
gptkb:Yehoshua_Bar-Hillel |
| gptkbp:publicationYear |
1961
|
| gptkbp:publishedIn |
gptkb:Fundamenta_Mathematicae
|
| gptkbp:state |
The class of context-free languages is closed under union, concatenation, and Kleene star, but not under intersection or complementation.
|
| gptkbp:bfsParent |
gptkb:Yehoshua_Bar-Hillel
|
| gptkbp:bfsLayer |
3
|
| https://www.w3.org/2000/01/rdf-schema#label |
Bar-Hillel–Kuratowski theorem
|