A Manim implementation of automata
Project description
MANIM AUTOMATA
A Manim plugin that allows you to generate scenes with Finite State Machines and their inputs. The plugin will automatically generate these animations with minimal setup from the user.
This plugin has been funded by the University of Leeds.
YOUTUBE VIDEO EXAMPLE
Notes
The manim-automata plugin currently relies on JFLAP files, future updates will enable the user to create automata without JFLAP. JFLAP is software for experimenting with formal languages topics.
Installation
To install manim-automata plugin run:
pip install manim-automata
To see which version of manim-automata you have:
manim-automata
or
pip list
Importing
To use manim-automata in your project, you can:
- Add
from manim_automata import *
to your script. Once manim-automata has been imported, you can use the ManimAutomata class to create automata.
How To Use
Example
class Automaton(MovingCameraScene):
def construct(self):
manim_automaton = ManimAutomaton(xml_file='example_machine.jff')
#Adjust camera frame to fit ManimAutomaton in scene
self.camera.frame_width = manim_automaton.width + 10
self.camera.frame_height = manim_automaton.height + 10
self.camera.frame.move_to(manim_automaton)
#Create an mobject version of input for the manim_automaton
automaton_input = manim_automaton.construct_automaton_input("110011")
#Position automaton_input on the screen to avoid overlapping.
automaton_input.shift(LEFT * 2)
automaton_input.shift(UP * 10)
self.play(
DrawBorderThenFill(manim_automaton),
FadeIn(automaton_input)
)
# Play all the animations generate from .play_string()
for sequence in manim_automaton.play_string(automaton_input):
for step in sequence:
self.play(step, run_time=1)
To run the code and generate the video, run:
- manim -pqh <name_of_script.py> Automaton
XML file used:
<?xml version="1.0" encoding="UTF-8" standalone="no"?><!--Created with JFLAP 7.1.--><structure>
<type>fa</type>
<automaton>
<!--The list of states.-->
<state id="0" name="q0">
<x>84.0</x>
<y>122.0</y>
<initial/>
</state>
<state id="1" name="q1">
<x>218.0</x>
<y>175.0</y>
</state>
<state id="2" name="q2">
<x>386.0</x>
<y>131.0</y>
<final/>
</state>
<state id="3" name="q3">
<x>227.0</x>
<y>36.0</y>
</state>
<!--The list of transitions.-->
<transition>
<from>0</from>
<to>1</to>
<read>0</read>
</transition>
<transition>
<from>0</from>
<to>1</to>
<read>1</read>
</transition>
<transition>
<from>2</from>
<to>3</to>
<read>0</read>
</transition>
<transition>
<from>1</from>
<to>2</to>
<read>1</read>
</transition>
<transition>
<from>3</from>
<to>0</to>
<read>1</read>
</transition>
<transition>
<from>3</from>
<to>0</to>
<read>0</read>
</transition>
</automaton>
</structure>
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for manim_automata-0.2.4-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1f56bd1b6847994ad746176e69256aeef866366373d5c2df494a7ae7eb752a0c |
|
MD5 | dd860f8b442f8defdfcf26a4970121fe |
|
BLAKE2b-256 | 725934ae1856c39cfaa65bb56a8bd36a805dcfcd0ec148af9a02781dbb3d0332 |