scientific article; zbMATH DE number 4058892

MaRDI QIDQ3793751zbMATHFDO

Authors Karel II Culik, Juhani Karhumäki

Publication date 1988

zbMATH Keywords

Ehrenfeucht conjecturedeterministic two-way transducerHDT0L languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Free semigroups, generators and relations, word problems (20M05)

Recommendations

• scientific article; zbMATH DE number 1834675
• On equations in free monoids and semigroups with restrictions on solutions
• Free set algebras satisfying systems of equations
• Finite parametrization of solutions of equations in a free monoid. I
• Finite parametrization of solutions of equations in a free monoid. II
• scientific article; zbMATH DE number 3987554
• Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems
• scientific article; zbMATH DE number 3978418
• scientific article; zbMATH DE number 1047906

Cited in

(8)

• scientific article; zbMATH DE number 3987554 (Why is no real title available?)
• The Ehrenfeucht conjecture: A compactness claim for finitely generated free monoids
• On the system of word equations \(x_{0} u^{i}_{1} x_{1} u^{i}_{2} x_{2} u^{i}_{3} x_{3}=y_{0} v^{i}_{1} y_{1} v^{i}_{2} y_{2} v^{i}_{3} y_{3}\) \((i=0,1,2,\ldots)\) in a free monoid
• scientific article; zbMATH DE number 1234888 (Why is no real title available?)
• On the equivalence problem for deterministic multitape automata and transducers
• On the system of word equations \(x^ i_ 1 x^ i_ 2\dots x^ i_ m=y^ i_ 1 y^ i_ 2\dots y^ i_ n\) \((i=1,2,\dots)\) in a free monoid
• Equations over finite sets of words and equivalence problems in automata theory
• Loops in automata and HDTOL relations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3793751)