What you must remember when processing data words

CEUR Workshop Proceedings

Volumn 619, Issue , 2010, Pages

  Benedikt, Michael ^a   Ley, Clemens ^a   Puppis, Gabriele ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CANONICAL REPRESENTATIONS; CONTROL STATE; INTERNAL STORAGE;

AUTOMATA THEORY; DIGITAL STORAGE; INFORMATION MANAGEMENT;

DATA HANDLING;

EID: 80052111613     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Michael Benedikt, Clemens Ley, and Gabriele Puppis. Minimal memory automata, 2010. Available at http://www.comlab.ox.ac.uk/michael.benedikt/papers/ myhilldata.pdf.
2. Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, and Claire David. Two-variable logic on words with data. In Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science, pages 7-16, Washington, DC, USA, 2006. IEEE Computer Society.
3. Nissim Francez and Michael Kaminski. An algebraic characterization of deterministic regular languages over infinite alphabets. Theoretical Computer Science, 306(1-3):155-175, 2003.
4. John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation (3rd Edition). Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2006.
5. Michael Kaminski and Nissim Francez. Finite-memory automata. Theoretical Computer Science, 134(2):329-363, 1994.
6. Frank Neven, Thomas Schwentick, and Victor Vianu. Finite state machines for strings over infinite alphabets. ACM Trans. Comput. Logic, 5(3):403-435, 2004.
7. Thomas Schwentick. Automata for xml - a survey. Journal of Computer and System Sciences, 73(3):289-315, 2007.
8. Luc Segoufin. Automata and logics for words and trees over an infinite alphabet. In Proceedings of the 15th Annual Conference of the EACLS, 20th International Workshop on Computer Science Logic, volume 4207 of Lecture Notes in Computer Science, pages 41-57, Szeged, Hungary, 2006. Springer.