Butzbach, P. Une famille de congruence de Thue pour lesquelles le problème de l’équivalence est decidable. Application à l’équivalence des grammaires séparées. (French) Zbl 0274.02012 Automata, Languages, Programming, Proc. Sympos. Inst. Rech. Informatique Automatique (IRIA), Rocquencourt 1972, 3-12 (1973). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 10 Documents MSC: 03D03 Thue and Post systems, etc. 68Q45 Formal languages and automata × Cite Format Result Cite Review PDF