genelleştirilmiş kararsız sonlu otomattır. biçimsel diller ve algoritmalar teorisi alanına girer. en az ismi kadar saçma ve muhtemelen gereksiz hededir.*