Generování vět na základě vzorů

Abstract

This document is describing our designed part of system to teaching Mathematic logic. This system using our algorithm which evaluate formula in PL1 by words. This words are creating a sentence by random pattern which is saved in database. This sentence is formalized by student as PL1 formula and then decided by our algorithm if student’s formalization was right or not. Steps of our algorithm are: 1) Syntactic analyse, 2) derivation tree creating, 3) two trees comparing if they are isomorphism