Login / Signup
Succinct Determinisation of Counting Automata via Sphere Construction.
Lukás Holík
Ondrej Lengál
Olli Saarikivi
Lenka Turonová
Margus Veanes
Tomás Vojnar
Published in:
APLAS (2019)
Keyphrases
</>
construction process
cellular automata
databases
artificial intelligence
computer vision
database systems
expert systems
optical flow
regular expressions
finite state
unit sphere
finite state automata
probabilistic automata