Algebraic and Automata-Theoretic Properties of Formal Languages
Algebraic and Automata-Theoretic Properties of Formal Languages
Automata, Languages, and Machines
Automata, Languages, and Machines
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis Methods for Dynamic Conceptual Graphs
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Applications of temporal conceptual semantic systems
KONT'07/KPP'07 Proceedings of the First international conference on Knowledge processing and data analysis
Conceptual representation of gene expression processes
KONT'07/KPP'07 Proceedings of the First international conference on Knowledge processing and data analysis
Unix systems monitoring with FCA
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
System decomposition for temporal concept analysis
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
States of distributed objects in conceptual semantic systems
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
States, transitions, and life tracks in temporal concept analysis
Formal Concept Analysis
Turing machine representation in temporal concept analysis
ICFCA'05 Proceedings of the Third international conference on Formal Concept Analysis
Review: Formal Concept Analysis in knowledge processing: A survey on models and techniques
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
The purpose of this paper is to relate the notions of states and transitions in Automata Theory to the conceptual descriptions of states, situations, and transitions in Temporal Concept Analysis. The first key for that relation is that states and situations can be described as formal concepts of formal contexts whose objects are points of time. The second key is the introduction of certain subsystems (interpreted as persons or agents). We prove that labeled transition systems with attributes (a recently introduced generalization of automata) can be represented as state-transition-systems of conceptual time systems.