Ivana Krajňáková Operácia štvorec na jazykoch reprezentovaných deterministickými, alternujúcimi a booleovskými automatmi
