do not copy Preface Scientific approach Preliminaries Scientific method Observation Hypothesis Experiment Empirical laws Scientific theory Verification Presentation Glossary References Prolegomena Formalization Description Glossary References Formal Languages Preliminaries Formal grammar Example grammars Set theory Chomsky hierarchy Trees Regular grammars Context-free grammars Context-sensitive grammars Grammar of syntax Glossary do not copy do not copy