Osnova sekce

  • Topics: - General phrase-structure grammar

                - the class RE of recursively enumerable languages

                - closure properties

                - context-sensitive grammar

                - monotone grammar

                - Kuroda Normal Form

                - linear-bounded automaton (LBA)

                - LBA problem

                - closure properties of the class of context-sensitive languages