В работе теоретически обоснован и детально разработан специальный метод минимизации числа состояний и построения минимальной формы обобщенного минимаксного ("оптимистического") нечеткого автомата, основанный на доказанной ранее теореме о связи максиминных и минимаксных произведений нечетких матриц. Доказано, что от заданного обобщенного минимаксного ("оптимистического") нечеткого автомата можно перейти к эквивалентному ему обобщенному максиминному ("пессимистическому") нечеткому автомату, являющемуся дополнением для исходного минимаксного автомата. Также доказано, что если заданные обобщенные минимаксные и максиминные нечеткие автоматы являются дополнениями друг друга, то их минимальные формы имеют одно и тоже число состояний, что позволяет сначала перейти от обобщенного минимаксного нечеткого автомата к эквивалентному ему обобщенному максиминному нечеткому автомату, затем минимизировать известным методом преобразующих матриц полученный обобщенный максиминный нечеткий автомат и, перейдя обратно к его доп