Cancellation in context-free languages: enrichment by reduction (Q1325840): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Matthias Jantzen / rank | |||
Property / author | |||
Property / author: Holger Petersen / rank | |||
Property / author | |||
Property / author: Matthias Jantzen / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Holger Petersen / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5616207 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monadic Thue systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Efficient reductions of picture words / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040325 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness Conditions on Subgroups and Formal Language Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3751035 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal forms for phrase-structure grammars / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Full AFLs and nested iterated substitution / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some remarks on derivations in general rewriting systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3766866 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4430312 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3766878 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3471701 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Supernormal-Form Theorem for Context-Free Grammars / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Using string languages to describe picture languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3911403 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: How to Make Arbitrary Grammars Look Like Context-Free Grammars / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some characterizations of lindenmayer systems in terms of chomsky-type grammars and stack machines / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4725769 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5672208 / rank | |||
Normal rank |
Latest revision as of 15:51, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cancellation in context-free languages: enrichment by reduction |
scientific article |
Statements
Cancellation in context-free languages: enrichment by reduction (English)
0 references
26 January 1995
0 references
decidability
0 references
context-free languages
0 references
context-free grammar
0 references
symmetric Dyck set
0 references
cancellation
0 references
recursively enumerable set
0 references
Petri net languages
0 references
0 references