scientific article
From MaRDI portal
Publication:4038766
zbMath0788.68080MaRDI QIDQ4038766
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilitydecidabilityundecidable word problemfinite weakly confluent monadic string-rewriting system
Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
Related Items (2)
Computing presentations for subgroups of polycyclic groups and of context-free groups ⋮ Codes modulo finite monadic string-rewriting systems
This page was built for publication:
