Skip to content

AmbiDexter is a static detection tool for ambiguity in context-free grammars, written in SDF2 or in Rascal. It is a combination of an approximative state space exploration tool that filters, combined with a fast and exhaustive sentence generator.

Notifications You must be signed in to change notification settings

cwi-swat/ambidexter

About

AmbiDexter is a static detection tool for ambiguity in context-free grammars, written in SDF2 or in Rascal. It is a combination of an approximative state space exploration tool that filters, combined with a fast and exhaustive sentence generator.

Stars

Watchers

Forks

Packages

No packages published