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...

Full description

Bibliographic Details

Published in:	2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 13 - 22
Main Authors:	Alur, Rajeev, D'Antoni, Loris, Deshmukh, Jyotirmoy, Raghothaman, Mukund, Yifei Yuan
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.06.2013
Subjects:	Automata Commutation Computational modeling Cost function Grammar Registers Transducers
ISBN:	1479904139, 9781479904136
ISSN:	1043-6871
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!