2019-01-30 決定性オートマトンの圏と非決定性オートマトンの圏はキレン同値 気付いた 形式言語理論 オートマトン ってことだと思う。 ダニエル・キレン Quillen equivalence in nLab 次のビデオだと、Quillenは「クーレン」に聞こえる。 https://www.youtube.com/watch?v=52HujNvYbAY