Inferring Canonical Register Automata

doi:https://doi.org/10.1007/978-3-642-27940-9_17

Book Chapter10.1007/978-3-642-27940-9_17

Inferring Canonical Register Automata

Falk Howar,Bernhard Steffen,Bengt Jönsson,Sofia Cassel-2012-01-01-Lecture notes in computer science

102

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Computer scienceAutomatonRegister (sociolinguistics)Finite-state machineMobile automatonAlgorithmTheoretical computer scienceExtension (predicate logic)

Chat

Click to start Chat