999 B
+++ title = "Quickfacts - Automata Model" date = 2026-06-01 description = "Building an automata based model for factorio" draft = true
[taxonomies] categories = ["Programming"] tags = ["Factorio", "Rust"]
[extra] toc = true +++
Testing
Idea
Each machine, on its own, can be represented as some kind of automaton. These types of automata, have special input and output transitions.
Combining two machines into a larger system, means "synchronizing" the two automata, based on their input/output transitions. So if one machine acts as the input for the other, then they synchronize at their respective input/output edges and then continue running independently.
Example
{% mermaid() %} graph LR S --Output--> S {% end %} {% mermaid() %} graph LR S --Input--> 1 1 --'-'--> 1 {% end %}
{% mermaid() %} graph LR S --'-'--> 1 {% end %} {% mermaid() %} graph LR S --'-'--> 1 {% end %}
1: 'Output'----
2 'Input'----
3: ----'Output'
4: ----'Input'