While many applications of automata in formal methods can use nondeterministic automata. some applications. most notably synthesis. need deterministic or good-for-games (GFG) automata. https://poolsproductscanadas.shop/product-category/hayward-sp0410x-valve-parts/