Two decidability problems for infinite words

Transductions and Context-Free Languages

Jean Berstel · 1979 · 1.3K citations

Computing, Computer Science, Mathematics +8

Adherences of languages

Luc Boasson, Maurice Nivat · Journal of Computer and System Sciences · 1980 · 139 citations

Some decidability results about regular and pushdown translations

Information Processing Letters · 1979 · 29 citations

Computing, Computer Science, Mathematics +12

Equivalence problems for mappings on infinite strings

Karel Čulík, Jan Pachl · Information and Control · 1981 · 14 citations

Natural Sciences, Mathematics, Combinatorics +6