Formal Methods in VerificationOptimization and Search ProblemsMachine Learning and Algorithms

Masoomeh Hezarjaribi

2026.2.9Parallel Processing Letters

DOI: 10.1142/s0129626426500015

tlooto Summary

A novel paradigm called grey automata is introduced that integrates grey system theory with classical automata theory to model systems marked by uncertainty and incomplete information, thus extending the conventional finite automata model.

Abstract

In this paper, I introduce a novel paradigm called grey automata that integrates grey system theory with classical automata theory to model systems marked by uncertainty and incomplete information. I define grey automata by incorporating grey numbers interval based representations of uncertainty into state transitions, thus extending the conventional finite automata model. I establish the theoretical foundations of grey automata, demonstrating key properties such as closure under union, determinization, state equivalence, and minimality. Furthermore, I provide practical examples, including models for traffic light systems and vending machines, to illustrate the relevance and applicability of our approach in various real-world scenarios.

Citation format

HEZARJARIBI, Masoomeh. Grey automata: Theory and applications. Parallel Processing Letters, 2026, 36(01n02).