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://rbdoutlet.shop/product-category/womens-socks/