A Formalisation of Finite Automata using Hereditarily Finite Sets.

Lawrence C. Paulson

Published in: CoRR (2015)

Keyphrases

finite sets
finite automata
piecewise linear
regular expressions
grammatical inference
linearly separable
schema mappings
hidden markov models
machine learning
active learning
dynamic programming
context free grammars