Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Automata, Languages, and Machines
Automata, Languages, and Machines
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Conceptual Graphs and Formal Concept Analysis
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Interpretation of Automata in Temporal Concept Analysis
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
A Conceptual View of Knowledge Bases in Rough Set Theory
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Conceptual representation of gene expression processes
KONT'07/KPP'07 Proceedings of the First international conference on Knowledge processing and data analysis
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
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 investigate the connection between the theory of computation and Temporal Concept Analysis, the temporal branch of Formal Concept Analysis. The main idea is to represent for each possible input of a given algorithm the uniquely determined sequence of computation steps as a life track of an object in some conceptually described state space. For that purpose we introduce for a given Turing machine a Conceptual Time System with Actual Objects and a Time Relation (CTSOT) which yields the state automaton of a Turing machine as well as its configuration automaton. The conceptual role of the instructions of a Turing machine is understood as a set of background implications of the derived context of a Turing CTSOT.