•  
  •  
 

Author Country (or Countries)

Spain

Abstract

This work is devoted to constructing a deterministic finite automaton whose states are particular types of order-preserving Boolean partial maps introduced by Bisi and Chiaselotti. The domains of such maps are subsets of a finite poset equipped with an idempotent and antitone map. These maps can be identified with certain linear systems of real inequalities and this automaton provides a computational model useful for building the global extensions of such maps.

Suggested Reviewers

N/A

Digital Object Identifier (DOI)

http://dx.doi.org/10.12785/amis/090305

Share

COinS