Formal Validation for Natural Language Programming using Hierarchical Finite State Automata.
Yue ZhanMichael S. HsiaoPublished in: ICAART (1) (2021)
Keyphrases
- finite state automata
- natural language
- finite state machines
- programming language
- formal language
- hybrid automata
- knowledge representation
- machine learning
- information extraction
- natural language processing
- semantic analysis
- knowledge base
- databases
- active learning
- training set
- training data
- conceptual graphs
- learning algorithm