Natural and formal language analyzer