BUT2-Automates-MATH4.2-Public/1TDRegexpAutomatesQuestion.pdf