Studují se transitivní uzávěry speciálních nahrazovacích relací nebo přepisovacích systémů. Dokazuje se mnoho technických výsledků.
