A succinct canonical register automaton model
type: Item
instance of: scholarly article
title: A succinct canonical register automaton model
zbMATH Open document ID: 1304.68097
author: S. Cassel
author: Falk Howar
author: Bengt Jonsson
author: Maik Merten
author: Bernhard Steffen
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2014-12-03T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6376570
zbMATH Keywords: register automata
zbMATH Keywords: data languages
zbMATH Keywords: canonical model
zbMATH Keywords: Myhill-Nerode
zbMATH Keywords: automata theory
describes a project that uses: XMPP
MaRDI profile type: Publication
full work available at URL: j.jlamp.2014.07.004
OpenAlex ID: W2035955066
cites work: A theory of timed automata
cites work: Learning regular sets from queries and counterexamples
cites work: On notions of regularity for data languages
cites work: Two-variable logic on data words
cites work: A logical characterization of data languages.
cites work: A Succinct Canonical Register Automaton Model
cites work: A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations
cites work: An algebraic characterization of deterministic regular languages over infinite alphabets.
cites work: Language identification in the limit
cites work: Q3862379
cites work: Inferring Canonical Register Automata
cites work: Finite-memory automata
cites work: CCS expressions, finite state processes, and three problems of equivalence
cites work: Q4536630
cites work: Linear Automaton Transformations
cites work: Three Partition Refinement Algorithms
cites work: Q4942006
cites work: Inference of finite automata using homing sequences
cites work: Automata and Logics for Words and Trees over an Infinite Alphabet
DOI: 10.1016/J.JLAMP.2014.07.004
Recommended article: A Succinct Canonical Register Automaton Model
Recommended article: A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations
Recommended article: Inferring Canonical Register Automata
Recommended article: Q4994710
Recommended article: Q4454842
Recommended article: A taxonomy and reductions for common register automata formalisms
Recommended article: A Canonical Semi-Deterministic Transducer
Recommended article: Q5092439
Recommended article: Model Checking Succinct and Parametric One-Counter Automata
description: scientific article; zbMATH DE number 6376570