@article{GURARI197918,
    Abstract = {Boundary points between decidability and undecidability of various decision questions concerning two-way sequential transducers and checking automata are investigated. The results show how some unsolvable problems become solvable when certain restrictions (e.g., the machines being deterministic, reversal-bounded, etc.) are imposed. A solution to an open problem concerning cascade products of pushdown automata is also given.},
    Author = {Gurari, Eitan M. and Ibarra, Oscar H.},
    File = {Some Decision Problems Concerning Sequential Transducers and Checking Automata - 1-s2.0-0022000079900497-main - a.pdf},
    ISSN = {0022-0000},
    Journal = {Journal of Computer and System Sciences},
    Number = {1},
    Pages = {18-34},
    Title = {Some decision problems concerning sequential transducers and checking automata},
    URL = {https://www.sciencedirect.com/science/article/pii/0022000079900497},
    Volume = {18},
    Year = {1979},
    bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/0022000079900497},
    bdsk-url-2 = {https://doi.org/10.1016/0022-0000(79)90049-7},
    date-added = {2023-01-17 08:51:36 +0100},
    date-modified = {2023-01-17 08:51:36 +0100},
    doi = {10.1016/0022-0000(79)90049-7}
}

@article{GURARI197918, Abstract = {Boundary points between decidability and undecidability of various decision questions concerning two-way sequential transducers and checking automata are investigated. The results show how some unsolvable problems become solvable when certain restrictions (e.g., the machines being deterministic, reversal-bounded, etc.) are imposed. A solution to an open problem concerning cascade products of pushdown automata is also given.}, Author = {Gurari, Eitan M. and Ibarra, Oscar H.}, File = {Some Decision Problems Concerning Sequential Transducers and Checking Automata - 1-s2.0-0022000079900497-main - a.pdf}, ISSN = {0022-0000}, Journal = {Journal of Computer and System Sciences}, Number = {1}, Pages = {18-34}, Title = {Some decision problems concerning sequential transducers and checking automata}, URL = {https://www.sciencedirect.com/science/article/pii/0022000079900497}, Volume = {18}, Year = {1979}, bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/0022000079900497}, bdsk-url-2 = {https://doi.org/10.1016/0022-0000(79)90049-7}, date-added = {2023-01-17 08:51:36 +0100}, date-modified = {2023-01-17 08:51:36 +0100}, doi = {10.1016/0022-0000(79)90049-7} }