Realization of state diagram and state table from verbal description