The equivalence problem for single-valued two-way transducers is decidable

Bibliographische Detailangaben

1. Verfasser:	Culik, Karel (VerfasserIn)
Weitere Verfasser:	Karhumäki, Juhani (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Waterloo Computer Science Dep., Univ. 1985
Schriftenreihe:	CS / Computer Science Department, University of Waterloo 85,24
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!