Browse Research and Tech Reports - Computer Science by Subject "automata, auxiliary storage, tree-width, emptiness, decidability"

  • Madhusudan, P. (2010)
    We propose a generalization of results on the decidability of emptiness for several restricted classes of sequential and distributed automata with auxiliary storage (stacks, queues) that have recently been proved. Our ...

    application/pdf

    application/pdfPDF (249kB)