Combining predicate transformer semantics for effects: a case study in parsing regular languages.
Anne BaanenWouter SwierstraPublished in: MSFP@ETAPS (2020)
Keyphrases
- regular languages
- context free grammars
- context free languages
- grammatical inference
- context free
- regular expressions
- finite automata
- natural language processing
- decision problems
- inductive inference
- fuzzy logic
- conceptual model
- context sensitive
- positive data
- computational complexity
- pattern matching
- semantic information
- database
- context dependent
- parse tree
- hidden markov models
- training data