Pages that link to "Item:Q1083219"

The following pages link to The equivalence and inclusion problems for NTS languages (Q1083219):

Displaying 19 items.

• Some decision problems about controlled rewriting systems (Q910246) (← links)
• A characterisation of deterministic context-free languages by means of right-congruences (Q913524) (← links)
• NTS languages are deterministic and congruential (Q1083220) (← links)
• Thue systems as rewriting systems (Q1099642) (← links)
• Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages (Q1120292) (← links)
• A polynomial algorithm testing partial confluence of basic semi-Thue systems (Q1127336) (← links)
• The pre-NTS property is undecidable for context-free grammars (Q1208437) (← links)
• A formal specification of document processing (Q1370522) (← links)
• The inclusion problem for some subclasses of context-free languages (Q1978515) (← links)
• Rational subsets of partially reversible monoids (Q2378535) (← links)
• Distributional Learning of Context-Free and Multiple Context-Free Grammars (Q2963597) (← links)
• It is decidable whether a monadic thue system is canonical over a regular set (Q3210188) (← links)
• Identification in the Limit of k,l-Substitutable Context-Free Languages (Q3528426) (← links)
• On the generating power of regularly controlled bidirectional grammars (Q3979697) (← links)
• The equivalence of pre-NTS grammars is decidable (Q3992022) (← links)
• A polynomial algorithm testing partial confluence of basic semi-Thue systems (Q5055831) (← links)
• (Q5089200) (← links)
• Probabilistic learnability of context-free grammars with basic distributional properties from positive examples (Q5964066) (← links)
• Synchronizing deterministic push-down automata can be really hard (Q6186317) (← links)