State-transition machines for lambda-calculus expressions.
David A. SchmidtPublished in: High. Order Symb. Comput. (2007)
Keyphrases
- state transition
- lambda calculus
- black box
- state transitions
- state transition model
- input output
- state space
- hidden markov models
- programming language
- markov chain
- predicate calculus
- finite state machines
- database query languages
- probability distribution
- program understanding
- natural language
- higher order
- complex objects
- transition model
- formal model
- database
- query language
- artificial intelligence
- machine learning