Predicate Transformers for Infinite-State Automata in NuPRL Type Theory.

Mark Bickford Jason Hickey

Published in: IWFM (1999)

Keyphrases

theoretical framework
first order logic
real world
machine learning
search engine
image processing
image sequences
natural language
finite state machines
horn clauses
general theory
finite automata