Symbolické dynamické systémy a konečné automaty - Penčevová, Radka (Bakalářská práce (Bc.)–Masarykova univerzita, Přírodovědecká fakulta, 2013, 2013)
Vedoucí práce: Michal Kunc