@article{CadilhacFinkelMcKenzie:IJFCS:2013,
    Abstract = {The class of languages captured by Constrained Automata (CA) that are unambiguous is shown to possess more closure properties than the provably weaker class captured by deterministic CA. Problems decidable for deterministic CA are nonetheless shown to remain decidable for unambiguous CA, and testing for regularity is added to this set of decidable problems. Unambiguous CA are then shown incomparable with deterministic reversal-bounded machines in terms of expressivity, and a deterministic model equivalent to unambiguous CA is identified.},
    Author = {Cadilhac, Micha{\"e}l and Finkel, Alain and McKenzie, Pierre},
    EPrint = {https://doi.org/10.1142/S0129054113400339},
    File = {UNAMBIGUOUS CONSTRAINED AUTOMATA - cadilhac2013 - a - a - y.pdf},
    Journal = {International Journal of Foundations of Computer Science},
    Number = {07},
    Pages = {1099--1116},
    Title = {Unambiguous constrained automata},
    URL = {https://doi.org/10.1142/S0129054113400339},
    Volume = {24},
    Year = {2013},
    bdsk-url-1 = {https://doi.org/10.1142/S0129054113400339},
    date-added = {2020-02-24 15:51:46 +0100},
    date-modified = {2023-08-21 12:23:46 +0200},
    doi = {10.1142/S0129054113400339}
}

@article{CadilhacFinkelMcKenzie:IJFCS:2013, Abstract = {The class of languages captured by Constrained Automata (CA) that are unambiguous is shown to possess more closure properties than the provably weaker class captured by deterministic CA. Problems decidable for deterministic CA are nonetheless shown to remain decidable for unambiguous CA, and testing for regularity is added to this set of decidable problems. Unambiguous CA are then shown incomparable with deterministic reversal-bounded machines in terms of expressivity, and a deterministic model equivalent to unambiguous CA is identified.}, Author = {Cadilhac, Micha{\"e}l and Finkel, Alain and McKenzie, Pierre}, EPrint = {https://doi.org/10.1142/S0129054113400339}, File = {UNAMBIGUOUS CONSTRAINED AUTOMATA - cadilhac2013 - a - a - y.pdf}, Journal = {International Journal of Foundations of Computer Science}, Number = {07}, Pages = {1099--1116}, Title = {Unambiguous constrained automata}, URL = {https://doi.org/10.1142/S0129054113400339}, Volume = {24}, Year = {2013}, bdsk-url-1 = {https://doi.org/10.1142/S0129054113400339}, date-added = {2020-02-24 15:51:46 +0100}, date-modified = {2023-08-21 12:23:46 +0200}, doi = {10.1142/S0129054113400339} }