Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars.

Ira Fesefeldt Christoph Matheja Thomas Noll Johannes Schulte

Published in: ICGT (2021)

Keyphrases

semi automated
grammatical inference
real time
forward and backward
natural language
automated analysis
fully automated
data mining
natural language processing
bi directional
integrity constraints
context free languages
context free grammars
data driven
image segmentation
case study
data sets