Defining and composing big state machines
Formal Languages and Automata Theory
2015-01-06 v1
Authors:
Victor Yodaiken
Abstract
A sequence function alternative representation of state machines.
Cite
@article{arxiv.1501.00507,
title = {Defining and composing big state machines},
author = {Victor Yodaiken},
journal= {arXiv preprint arXiv:1501.00507},
year = {2015}
}
Related papers
View all related →
Formal Languages and Automata Theory · Computer Science
State machines for large scale computer software and systems
Victor Yodaiken
2025-11-04
Mathematical Physics · Physics
Representation of State Property Systems
Diederik Aerts, Sylvia Pulmannova
2010-04-16
Formal Languages and Automata Theory · Computer Science
Composition Machines: Programming Self-Organising Software Models for the Emergence of Sequential Program Spaces
Damian Arellanes
2025-08-27
Logic in Computer Science · Computer Science
Stateman: Using Metafunctions to Manage Large Terms Representing Machine States
J. Strother Moore
2015-09-22
Number Theory · Mathematics
Integer sets with identical representation functions
Yong-Gao Chen, Vsevolod F. Lev
2015-11-05
Formal Languages and Automata Theory · Computer Science
New tools for state complexity
Pascal Caron, Edwin Hamel-De le court, Jean-Gabriel Luque, Bruno Patrou
2023-06-22
Quantum Physics · Physics
A Graphic Representation of States for Quantum Copying Machines
Sara Felloni, Giuliano Strini
2007-05-23
Quantum Physics · Physics
Quantum Machines
Mark Hillery, Vladimir Buzek
2015-05-13
Combinatorics · Mathematics
Parking cars of different sizes
Richard Ehrenborg, Alex Happ
2017-08-31
Artificial Intelligence · Computer Science
Representation Engineering for Large-Language Models: Survey and Research Challenges
Lukasz Bartoszcze, Sarthak Munshi, Bryan Sukidi, Jennifer Yen +5
2025-02-26
Software Engineering · Computer Science
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach
2020-11-03
Combinatorics · Mathematics
Some combinatorial aspects of composition of a set of functions
Branko J. Malesevic
2007-05-23
Computational Complexity · Computer Science
Towards the Notion of an Abstract Quantum Automaton
Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych
2012-06-12
Formal Languages and Automata Theory · Computer Science
Transformers as Transducers
Lena Strobl, Dana Angluin, David Chiang, Jonathan Rawski +1
2024-11-07
Systems and Control · Electrical Eng. & Systems
Mechanical Normal Form of First Order State-Space Systems
Mayet Johannes, Kammermeier Benjamin
2021-09-29
Logic in Computer Science · Computer Science
Parallel symbolic state-space exploration is difficult, but what is the alternative?
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin
2009-12-16
Machine Learning · Computer Science
A Survey of State Representation Learning for Deep Reinforcement Learning
Ayoub Echchahed, Pablo Samuel Castro
2025-06-24
Formal Languages and Automata Theory · Computer Science
Finite-State Complexity and the Size of Transducers
Cristian Calude, Kai Salomaa, Tania Roblot
2010-08-11
Optimization and Control · Mathematics
Simulated bifurcation for higher-order cost functions
Taro Kanao, Hayato Goto
2023-01-03
funct-an · Mathematics
Virtual Extensions
Sergio Ferreira Cortizo
2008-02-03
Programming Languages · Computer Science
The Functional Machine Calculus
Willem Heijltjes
2023-06-22
Number Theory · Mathematics
On the structure of sets which have coinciding representation functions
Sándor Z. Kiss, Csaba Sándor
2020-01-07
Computation and Language · Computer Science
Sentence-State LSTM for Text Representation
Yue Zhang, Qi Liu, Linfeng Song
2018-05-08
Statistical Mechanics · Physics
Computational Mechanics: Pattern and Prediction, Structure and Simplicity
Cosma Rohilla Shalizi, James P. Crutchfield
2022-02-17
Data Structures and Algorithms · Computer Science
Compact Flow Diagrams for State Sequences
Kevin Buchin, Maike Buchin, Joachim Gudmundsson, Michael Horton +1
2018-05-08