Demos of a formal language parsing system