Statements (277)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:company
gptkb:music_producer gptkb:smartphone theoretical computer science abstract machine |
| gptkbp:alsoKnownAs |
gptkb:FSM
finite automaton |
| gptkbp:alternativeName |
Automaton
Finite_State_Machine Machine Maschine Turing_machine automaton finite-state_machine machine |
| gptkbp:application |
control systems
digital circuit design lexical analysis parsing protocol design regular expression matching |
| gptkbp:basisFor |
gptkb:Church–Turing_thesis
gptkb:universal_Turing_machine theoretical computer science |
| gptkbp:canBe |
gptkb:game_AI
control systems deterministic lexical analysis parsing protocol design regular expression matching non-deterministic |
| gptkbp:cannotDecide |
undecidable problems
|
| gptkbp:component |
cranks
drums gears levers pipes valves weights motors springs followers axles pendulums wheels bellows bearings bushings rollers pins rods joints chains cylinders pulleys ratchets linkages cams shafts cords counterweights escapements flywheels hinges leadscrews sprockets tensioners |
| gptkbp:decision |
recursive languages
|
| gptkbp:dependsOn |
state (Moore)
state and input (Mealy) |
| gptkbp:describedBy |
gptkb:On_Computable_Numbers,_with_an_Application_to_the_Entscheidungsproblem
state transition table state transition diagram |
| gptkbp:developedBy |
gptkb:Native_Instruments
|
| gptkbp:etymology |
Greek 'automatos' meaning 'self-moving'
|
| gptkbp:example |
universal computation model
|
| gptkbp:features |
gptkb:drummer
sampler sound library audio effects MIDI support pattern-based sequencing step sequencer |
| gptkbp:field |
gptkb:mathematics
mechanical engineering robotics theoretical computer science |
| gptkbp:firstDescribed |
1943
|
| gptkbp:firstReleased |
2009
|
| gptkbp:focusesOn |
gptkb:Large_Language_Models
gptkb:AI_Infrastructure Open-source AI |
| gptkbp:form |
recognizes regular languages
|
| gptkbp:formedBy |
gptkb:Dana_Scott
gptkb:logic gptkb:Michael_O._Rabin gptkb:Moore_machine gptkb:Mealy_machine gptkb:Turing_machine_(as_a_generalization) 1959 |
| gptkbp:foundedBy |
gptkb:Patrick_Lewis
gptkb:Patrick_von_Platen gptkb:Philipp_Schmid gptkb:Romain_Beaumont gptkb:Timo_Schick gptkb:Yann_Dubois gptkb:Thomas_Wolf gptkb:Clement_Delangue gptkb:Zhenzhong_Lan gptkb:Charlie_Snell gptkb:Sasha_Rush gptkb:Phil_Wang gptkb:Sylvain_Gugger Victor Sanh Yacine Jernite Julien Simon Adam Daniel King Jacob Jackson Jeff Boudier Joe Hoover Lewis Tunstall Lysandre Debut Mariam Kiran Merve Noyan Morgan Funtowicz Nathaniel Simard Niels Rogge Nina Poliak Olivier Cruchant Omar Sanseviero Pedro Cuenca Piotr Bialecki Quentin Lhoest Sam Shadwell Sayak Paul Stas Bekman Sébastien Jean Younes Belkada Zachary Hanif Zaid Alyafeai |
| gptkbp:hardwareModel |
gptkb:Maschine_MK1
gptkb:Maschine_MK2 gptkb:Maschine_MK3 gptkb:Maschine_Mikro gptkb:Maschine_Mikro_MK2 gptkb:Maschine_Mikro_MK3 gptkb:Maschine_Plus gptkb:Maschine_Studio |
| gptkbp:hasApplication |
hardware design
robotics user interface design pattern recognition text processing network protocol design compiler construction protocol verification elevator control traffic light control |
| gptkbp:hasComponent |
inputs
states finite state control head tape transitions initial state accepting states input alphabet outputs |
| gptkbp:hasModel |
computation
|
| gptkbp:hasProperty |
deterministic or nondeterministic
discrete time steps finite set of states infinite tape finite number of states memoryless except for state transitions depend on input |
| gptkbp:hasTransitionFunction |
state-symbol to action mapping
|
| gptkbp:hasType |
gptkb:deterministic_finite_automaton
gptkb:Moore_machine gptkb:Mealy_machine gptkb:non-deterministic_finite_automaton |
| gptkbp:hasVariant |
gptkb:multi-tape_Turing_machine
gptkb:nondeterministic_Turing_machine gptkb:probabilistic_Turing_machine gptkb:quantum_Turing_machine gptkb:universal_Turing_machine |
| gptkbp:includes |
gptkb:software
hardware controller |
| gptkbp:includesState |
accept state
halt state reject state start state finite number |
| gptkbp:industry |
gptkb:artificial_intelligence
|
| gptkbp:input |
symbols on tape
|
| gptkbp:introducedIn |
1936
1943 ancient times |
| gptkbp:inventedBy |
gptkb:Alan_Turing
gptkb:Walter_Pitts gptkb:Warren_McCulloch |
| gptkbp:isFoundationFor |
modern computer science
|
| gptkbp:latestReleaseVersion |
gptkb:Maschine_2
|
| gptkbp:limitation |
cannot compute non-computable functions
cannot solve the halting problem cannot recognize context-free languages limited memory |
| gptkbp:location |
gptkb:San_Francisco
|
| gptkbp:modernUse |
gptkb:art
education entertainment toys clockwork devices demonstrating scientific principles |
| gptkbp:namedAfter |
gptkb:Alan_Turing
|
| gptkbp:notableExample |
gptkb:Jaquet-Droz_automata
gptkb:Antikythera_mechanism gptkb:The_Digesting_Duck |
| gptkbp:notableProject |
AI developer tools
Open-source LLMs |
| gptkbp:origin |
gptkb:ancient_China
gptkb:ancient_Greece gptkb:ancient_Egypt |
| gptkbp:output |
symbols on tape
|
| gptkbp:platform |
gptkb:Windows
gptkb:macOS |
| gptkbp:recognizedBy |
recursively enumerable languages
|
| gptkbp:relatedConcept |
gptkb:Android
gptkb:robot automata theory finite state machine |
| gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:Post_machine gptkb:register_machine Technical Machine finite automaton pushdown automaton regular languages regular expressions regular grammar |
| gptkbp:SIM |
any algorithm
|
| gptkbp:studiedIn |
automata theory
computational theory |
| gptkbp:supports |
AU plugins
VST plugins |
| gptkbp:transitionDependsOn |
current state
input symbol |
| gptkbp:usedFor |
gptkb:concert_tour
gptkb:logic gptkb:music_producer computability theory formal language theory theoretical computer science modeling computation modeling communication protocols performing a sequence of operations automatically modeling elevators modeling games modeling lexical analyzers modeling sequential logic modeling software design patterns modeling traffic lights modeling user interfaces modeling vending machines modeling workflows beat making |
| gptkbp:usedIn |
computer science
digital circuit design engineering linguistics software engineering |
| gptkbp:website |
https://www.native-instruments.com/en/products/maschine/production-systems/maschine/
https://www.technical.machine/ |
| gptkbp:bfsParent |
gptkb:Alan_Turing
gptkb:print |
| gptkbp:bfsLayer |
3
|