Decidability of the equivalence problem for A class of multitape multihead automata and flowcharts over memory

Autor:	S. K. Shukuryan
Rok vydání:	1977
Předmět:	Discrete mathematics Algebra Flowchart General Computer Science law Equivalence (formal languages) Decidability law.invention Mathematics Automaton
Zdroj:	Cybernetics. 12:507-512
ISSN:	1573-8337 0011-4235
DOI:	10.1007/bf01070381
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5bc6ef5a6d8479189025dbf56d01ea43 https://doi.org/10.1007/bf01070381 Zobrazit plný text záznamu Full text from SpringerLink