Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers.

C. Aiswarya Soumodev Mal Prakash Saivasan

Published in: STACS (2024)

Keyphrases

context free
context free grammars
context dependent
grammatical inference
context sensitive
finite automata
attribute grammars
pattern matching
finite state
grammar rules
graph grammars
inductive inference
regular expressions
parse tree
machine learning
production rules
relational databases
keywords