On Minimal Realizations of Neutrosophic Languages: A Categorical Approach

Anil Kumar Ram; Anupam K. Singh

Authors

Anil Kumar Ram Department of Mathematics, C.M. College, A Constituent Unit of Lalit Narayan Mithila University, Darbhanga, Bihar-846004, India
Anupam K. Singh Department of Mathematics, C.M. College, A Constituent Unit of Lalit Narayan Mithila University, Darbhanga, Bihar-846004, India

Keywords:

Neutrosophic automata; neutrosophic languages; minimal realization; categorical framework; Myhill–Nerode relation; observability; derivatives.

Abstract

This paper develops a categorical framework for deterministic neutrosophic automata with neutrosophic outputs and their associated neutrosophic languages. Building upon neutrosophic set theory, which independently captures truth-membership, indeterminacy membership, and falsity-membership, we introduce and systematically investigate the structural notions of run maps, reachability, and observability within this framework. Furthermore, two distinct approaches for constructing minimal realizations of a given neutrosophic language are presented and proven to be equivalent. These constructions yield canonical minimal automata and extend the classical Myhill–Nerode paradigm to the neutrosophic setting. The functorial relationships established between the categories of automata and languages provide a unified and robust theoretical foundation for modeling systems involving uncertainty and indeterminacy.

DOI: 10.5281/zenodo.22811016