×

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).

MSC:

03D03 Thue and Post systems, etc.
68Q45 Formal languages and automata