Interactive pattern-driven language development

The goal of this project is to explore novel approaches to formal language design and implementation. They should be based on synthesis of methods from the fields of formal languages, human-computer interaction and data analysis.
Language design and implementation process should be interactive and explorative activity, where language designer is able to experiment with design of the language notation and associated tools and immediately adjust language definition based on the results. To achieve this it would be required to design new methods for automated inference of language specification based on abstract syntax, example sentences and interaction with language designer.