Symbolické dynamické systémy a konečné automaty - Penčevová, Radka (2013)
Vedoucí práce: Michal Kunc