Bakalarka o stavovej zlozitosti konecnych automatov