Grey Automata: Theory and Applications

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.

Authors

Institutions

Publication Details

Journal
Parallel Processing Letters
Published
2026-02-09
DOI
https://doi.org/10.1142/s0129626426500015
Primary Topic
Formal Methods in Verification
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Grey Automata: Theory and Applications

Masoomeh Hezarjaribi
Parallel Processing Letters
Formal Methods in Verification
article

Grey Automata: Theory and Applications

Masoomeh Hezarjaribi
article en

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.

Parallel Processing Letters
Payame Noor University (IR)
Openalex Percentile: Top 59%
Formal Methods in Verification
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.