This textbook gives a systematized and compact summary, providing the most essential types of modern models for languages and computation together with their properties and applications.