Regulární jazyky, konečné automaty a konečné pologrupy - Masař, Martin (2023)