Unsolvability of the emptiness problem for alternating 1-way multi-head and multi-tape finite automata over single-letter alphabet

Bibliographic Details
Main Author: Gejdmanis, Dainis (Author)
Format: Article
Language:Slovak
English
PhysicalDescription:Obr. 3. Fot. 1. Res. angl., rus., lit. 10 zázn. v angl.
Subjects:

MARC

LEADER 00000nab a2200000 a 4500
001 vtls000448036
003 SK-MaSNL
005 20260304082351.0
008 250424c1991 xo 0 slo
015 |a SNBRB19rr/mm-uuuuu 
035 |a CL0448167 
035 |a urn:nbn:sk:snk-ab1q61 
035 |a (urnnbn)urn:nbn:sk:snk:ar-004y0x 
035 |a (uuid)3875d1b4-d957-46cc-b2d4-8041d1a1db8e 
040 |a SNKBUCL  |b slo  |c SNKBUCL  |e AACR2 
041 0 |a eng 
044 |a xo  |c SK 
080 |a 519.764:007.52  |2 1981 
080 |a 007.52  |2 1981 
080 |a 519.764  |2 1981 
100 1 |a Gejdmanis, Dainis  |4 aut  |9 1371805 
245 1 0 |a Unsolvability of the emptiness problem for alternating 1-way multi-head and multi-tape finite automata over single-letter alphabet  |c Dainis Gejdmanis 
300 |b Obr. 3. Fot. 1. Res. angl., rus., lit. 10 zázn. v angl. 
650 0 7 |a konečný automat  |2 snkbucl  |9 50410 
655 7 |a články z novín a časopisov  |2 snkbucl  |9 267496 
773 0 |t Computers and artificial intelligence  |g Roč. 10, č. 2 (1991), s. 133-141 
850 |a Slovenská národná knižnica 
852 |a Slovenská národná knižnica 
958 |a article27 
958 |a NB 
958 |a RK 
958 |a OND 
958 |a EUIPO 
992 |a RBX 
999 |c 2795616  |d 2797546