@article{10.1145/3397619.3397621,
    Abstract = {We survey some results about the sequentiality problem for max-plus automata and its generalisation, the register complexity problem for cost register automata. We compare classes of functions computed by maxplus automata and by cost register automata with respect to the notion of ambiguity. The two models are introduced gently, so the novice reader is welcome!},
    Address = {New York, NY, USA},
    Author = {Daviaud, Laure},
    File = {Register complexity and determinisation of max-plus automata - CopiePubli - a - i.pdf},
    Journal = {ACM SIGLOG News},
    Month = {April},
    Number = {2},
    Pages = {4--14},
    Publisher = {Association for Computing Machinery},
    Title = {Register Complexity and Determinisation of Max-plus Automata},
    URL = {https://doi.org/10.1145/3397619.3397621},
    Volume = {7},
    Year = {2020},
    bdsk-url-1 = {https://doi.org/10.1145/3397619.3397621},
    date-added = {2021-01-21 14:43:25 +0100},
    date-modified = {2021-01-21 14:43:25 +0100},
    issue_date = {April 2020},
    numpages = {11},
    doi = {10.1145/3397619.3397621}
}

@article{10.1145/3397619.3397621, Abstract = {We survey some results about the sequentiality problem for max-plus automata and its generalisation, the register complexity problem for cost register automata. We compare classes of functions computed by maxplus automata and by cost register automata with respect to the notion of ambiguity. The two models are introduced gently, so the novice reader is welcome!}, Address = {New York, NY, USA}, Author = {Daviaud, Laure}, File = {Register complexity and determinisation of max-plus automata - CopiePubli - a - i.pdf}, Journal = {ACM SIGLOG News}, Month = {April}, Number = {2}, Pages = {4--14}, Publisher = {Association for Computing Machinery}, Title = {Register Complexity and Determinisation of Max-plus Automata}, URL = {https://doi.org/10.1145/3397619.3397621}, Volume = {7}, Year = {2020}, bdsk-url-1 = {https://doi.org/10.1145/3397619.3397621}, date-added = {2021-01-21 14:43:25 +0100}, date-modified = {2021-01-21 14:43:25 +0100}, issue_date = {April 2020}, numpages = {11}, doi = {10.1145/3397619.3397621} }

Library Size: 13G (12942 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge