Regular Functions and Cost Register Automata

We propose a deterministic model for associating costs with strings that is parameterized by operations of interest (such as addition, scaling, and minimum), a notion of regularity that provides a yardstick to measure expressiveness, and study decision problems and theoretical properties of resultin...

Celý popis

Podrobná bibliografie

Vydáno v:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science s. 13 - 22
Hlavní autoři:	Alur, Rajeev, D'Antoni, Loris, Deshmukh, Jyotirmoy, Raghothaman, Mukund, Yifei Yuan
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.06.2013
Témata:	Automata Commutation Computational modeling Cost function Grammar Registers Transducers
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!