Abstrakt
Redukční analýza je lingvisticky motivovaná metoda pro kontrolu správnosti vět. Může být modelována pomocí restartovacích automatů.
V tomto článku je navržena metoda pro učení restartovacích automatů typu STL-R-automatů. Metoda je založena na pojmu identifikace v limitě z pozitivních příkladů.
Dále je charakterizována třída jazyků rozpoznávaná pomocí SLT-R-automatů vzhledem k Chomského hierarchii.