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
Subjects: