Fact-checked by Grok 2 weeks ago

Automaton

An automaton is a relatively self-operating or designed to automatically follow a predetermined sequence of instructions or respond to encoded instructions, often simulating lifelike behaviors or computational processes. The term derives from the word αὐτόματον (automaton), meaning "self-acting" or "acting of one's own will," reflecting its historical connotation of autonomous motion. Historically, automata emerged as mechanical devices in ancient civilizations, powered by , , or weights to perform repetitive or theatrical actions. A prominent early example is the work of , a 1st-century CE Greek engineer who constructed steam- and water-powered automata, including theatrical machines that simulated mythological scenes, as detailed in his treatise Automata. During the medieval and periods, Islamic and European scholars advanced these inventions, incorporating clockwork mechanisms for more precise movements, such as automated clocks and figures in cathedrals. By the 18th century, Enlightenment-era automata reached new levels of sophistication; French inventor created the "" in 1739, a mechanical bird that appeared to flap its wings, peck grain, and excrete digested material, showcasing early biomechanical simulation. Similarly, the Maillardet Automaton, built around 1800, was a and writing figure capable of producing four illustrations and three poems from internal memory stored on rotating cylinders, representing one of the most complex pre-industrial automata. In the 20th century, the concept of automata evolved into abstract mathematical models within computer science and mathematics, forming the foundation of , which explores the logic of computation through idealized machines. A finite automaton (FA), a basic type, is formally defined as a 5-tuple (Q, Σ, q₀, A, δ), where Q is a of states, Σ is the input , q₀ is the initial state, A is the set of accepting states, and δ is the transition function; it processes input strings to determine membership in regular languages. More powerful variants, such as pushdown automata for context-free languages and Turing machines for undecidable problems, extend this framework to analyze and limits, influencing fields from design to algorithm verification. Today, automata concepts underpin modern technologies, including finite state machines in software protocols, cellular automata in simulations like , and architectures inspired by self-operating systems.

Terminology

Etymology

The term "automaton" originates from the ancient Greek word automatos (αὐτόματος), meaning "self-acting" or "self-moved," derived from autos ("self") and -matos ("thinking, animated, willing"), from the PIE root men- ("to think"), implying self-motivated or animated motion without external agency. This word first appears in Homer's Iliad around the 8th century BCE, where it describes the self-propelled golden tripods crafted by the god Hephaestus, which could move autonomously to serve the gods during assemblies. In this mythic context, automatos evoked wondrous, independent animation, often attributed to divine craftsmanship. In philosophical usage, employed automaton in his Physics (circa 350 BCE) to denote spontaneous or accidental motion occurring without deliberate purpose, distinguishing it from tyche (chance within purposeful contexts) as a broader category of random events. Here, the term shifted toward explaining natural phenomena as self-generated actions, contrasting with intentional causes, though it retained connotations of unexpected self-motion in the physical world. By the , the concept evolved from mythical and philosophical notions to describe tangible mechanical devices, reflecting renewed interest in and . The Latinized form "automaton" gained prominence in the , notably through , who in works like L'Homme (published posthumously in 1662) portrayed animals as intricate automata—purely mechanical entities operating via physical principles without souls. This usage marked a pivotal semantic transition, emphasizing programmable, self-operating machines and influencing later theoretical models of automata as abstract, self-regulating systems.

Definition and Scope

An automaton is defined as a relatively self-operating or designed to automatically follow a predetermined of operations or respond to encoded instructions, without requiring continuous external beyond initial setup. This core concept encompasses both tangible devices and abstract models, rooted in the idea of self-motion through internal rules or s. Physical automata refer to mechanical constructs, often powered by or similar hidden , that simulate lifelike actions or movements to create the of spontaneity. In contrast, theoretical automata are mathematical models used in to study computation, represented as state-based machines that transition between configurations in response to inputs, processing symbolic data according to fixed rules. These distinctions highlight the evolution from engineered artifacts to foundational tools in , where physical forms emphasize and , while theoretical forms focus on logical limits of computation. The scope of this article includes historical mechanical devices, such as automata from to the industrial era, alongside theoretical models ranging from simple finite-state systems to more powerful constructs like Turing machines, which are Turing-complete abstract devices capable of simulating any algorithmic computation. It excludes coverage of fully autonomous systems or contemporary robots unless they explicitly derive from classical automaton principles, such as state-transition logics, to maintain focus on predetermined, rule-based operation rather than adaptive learning.

Historical Development

Ancient and Classical Era

In ancient Greek mythology, automata were envisioned as divine inventions that blurred the line between the inanimate and the animate, often crafted by the god to assist in his forge. Homer's (c. 8th century BCE) describes golden handmaidens wrought by , resembling living women with intelligence, speech, and the ability to move autonomously while supporting their master. The epic also features self-moving tripods that roll into assembly on golden wheels without external aid, embodying early notions of mechanical self-sufficiency. These mythical constructs highlighted automata as symbols of craftsmanship and wonder, influencing later philosophical inquiries into motion and agency. Philosophers in drew on such s to model natural phenomena, using automata as analogies for internal causation. In his Physics (c. 350 BCE), references automatic devices, like temple models or puppets, to illustrate how natural bodies possess an inherent principle of motion akin to the hidden mechanisms driving apparent self-movement in automata. Similarly, in De Anima, he compares the soul's role in to the internal forces in automata, emphasizing that both exhibit purposeful activity without visible external pushes. These discussions positioned automata as conceptual tools for understanding life and mechanism, distinct from mere . Practical automata emerged in the Hellenistic period through engineering innovations, particularly those of Hero of Alexandria in the 1st century CE. In his Pneumatica, Hero detailed steam-powered devices, including the aeolipile—a hollow sphere mounted on a boiler that rotated via steam jets escaping tangential nozzles, demonstrating early principles of jet propulsion and continuous motion. He also described automated theaters, compact hydraulic and pneumatic systems that staged miniature mythological scenes with moving figures, doors, and sound effects, powered by water flow and weights for theatrical performances in temples or private settings. These inventions marked a shift from conceptual to functional automata, relying on pneumatics for realistic simulation. Parallel developments in Eastern civilizations featured rudimentary automata tied to timekeeping and spectacle. The Chinese Liezi (c. 4th century BCE) narrates the artificer Yan Shi presenting with a mechanical bird that flew, perched, and mimicked bird calls through internal and , showcasing advanced and simulation of life. In ancient , from the 4th–3rd centuries BCE describe legendary accounts of "bhuta vahana yantrah" (spirit-movement machines), including automated guardians of Buddha's relics that moved and wielded weapons, as well as water clocks (ghati-yantra) using floating bowls to measure ritual times precisely via calibrated vessel outflow. These Eastern examples emphasized automata in philosophical and religious contexts, complementing hydraulic traditions.

Medieval and Early Modern Periods

During the Islamic Golden Age, the polymath Ismail al-Jazari (c. 1136–1206) advanced the field of automata through his detailed designs in The Book of Knowledge of Ingenious Mechanical Devices (1206), which described over 50 mechanical devices powered by water, weights, and gears. Among these, al-Jazari's elephant clock exemplified intricate automation, featuring a life-sized elephant with an automaton bird that chirped every half-hour, a humanoid figure that struck a cymbal on the hour, and additional mechanisms like a dragon's mouth releasing a ball to simulate time passage, all synchronized via a water-driven escapement. He also pioneered programmable humanoid automata, such as a waitress figure that detected a cup beneath its mouth via a sensor mechanism and poured liquid until full, stopping automatically, and a hand-washing servant that sequentially dispensed water, offered a towel, mirror, and comb using a flushing tank system. These inventions demonstrated early concepts of feedback control and sequencing, influencing later mechanical engineering. In medieval Europe, automata appeared in elaborate timepieces, notably Richard of Wallingford's (designed 1327, completed c. 1354) at St. Albans Abbey, which integrated automated striking figures—known as —that chimed the hours and quarters using mechanical levers and weights. This clock not only tracked celestial positions but employed these humanoid figures to visually and audibly mark time, representing a fusion of horology and driven by verge-and-foliot escapements. Such devices highlighted the era's growing sophistication in geared mechanisms for public and monastic use. The saw further innovation with Leonardo da Vinci's mechanical knight (c. 1495), a humanoid automaton clad in full armor, designed to perform chivalric demonstrations through a system of pulleys, cables, and gears that enabled it to sit down, stand up, wave its arms, lift its , and move its head on a flexible neck. Intended for a pageant honoring the Duke of Milan, this robot emphasized anatomical accuracy in its jointed limbs, drawing on Leonardo's studies of to achieve lifelike motion without external power beyond winding. In the , Jacques de Vaucanson's (1739) marked a pinnacle of biomechanical simulation, a life-sized automaton constructed from with over 1,000 moving parts that flapped its wings, pecked at , simulated through internal grinding mechanisms, and excreted processed material, all powered by . Exhibited publicly in , it blurred lines between machine and organism by mimicking avian physiology, influencing debates on and mechanism in the .

Industrial and Modern Eras

The marked a pivotal shift in the development of automata, transitioning from artisanal craftsmanship to mass-produced mechanical entertainments showcased at public exhibitions. Automata like Pierre Jaquet-Droz's 1774 writing automaton, capable of producing custom messages on paper using a complex system of cams and levers, continued to captivate audiences into the through touring displays across , symbolizing the era's fascination with mechanical ingenuity amid growing industrialization. These devices, originally crafted as promotional tools for watchmaking, were adapted for broader , reflecting the integration of into public amusement. Similarly, steam-powered figures emerged as innovations powered by the era's dominant energy source, with Zadock Dederick's 1868 Steam Man of —a seven-foot-tall, boiler-driven humanoid that walked at 2 mph while pulling a —patented and demonstrated at fairs, highlighting early attempts at autonomous mechanical locomotion. In the , automata evolved through hybridization with and sound technology, particularly in . Walt Disney's , introduced in the 1960s, represented a breakthrough by combining , , and synchronized audio to create lifelike figures. The first public deployment occurred in Disneyland's Enchanted Tiki Room in 1963, featuring over 150 animatronic birds, flowers, and tiki statues that performed songs and movements coordinated by custom computers, blending mechanical precision with immersive storytelling. This technology scaled automata from curiosities to mass attractions, influencing theme parks worldwide and paving the way for more dynamic, responsive systems. Modern proposals have extended automata concepts to nanoscale and kinetic realms, envisioning self-replicating machines for advanced applications. In his 2005 book , outlined a vision of nanoscale automata—molecular assemblers capable of building structures atom by atom—driven by exponential technological growth, potentially enabling molecular manufacturing by the through self-replicating nanobots that mimic biological replication. Complementing this theoretical frontier, artist Theo Jansen's Strandbeests, wind-powered kinetic sculptures first developed in the , use PVC tubes and sails to create beach-walking "beasts" that evolve via computational design, embodying automata principles in autonomous, environmentally responsive art. Recent developments up to 2025 have drawn on automata traditions in , emphasizing compliant materials for mesoscale machines without integrating full AI autonomy. Harvard researchers in the 2010s pioneered examples like the 2016 octobot, an untethered, pneumatic molded from that autonomously inflates and deflates for octopus-like crawling, powered by a rather than rigid components. These mesoscale devices, often 10-100 mm in scale, prioritize biomimetic movement inspired by historical mechanical figures, with ongoing NSF-funded advances in 2025 focusing on resilient, fluidic actuators for tasks like delicate manipulation in unstructured environments.

Mechanical Automata

Design Principles

Mechanical automata are engineered using fundamental mechanical components to produce lifelike motion without electrical power. Central to their design are for transmitting and controlling speed, cams for converting rotary motion into linear or oscillatory movements, levers for amplifying , and springs for storing and releasing energy. These elements interconnect to form precise systems, often concealed within the automaton's structure to enhance the illusion of . Clockwork mechanisms, featuring a wound by a , provide the primary power source, gradually releasing stored energy through an to regulate operation over a set duration. To achieve programmed sequences of actions, designers employ methods such as pegged cylinders or systems, which dictate the timing and order of movements. In pegged cylinder designs, pins or pegs protruding from a rotating barrel engage levers or pins to specific actions, similar to the mechanisms in music boxes where pins pluck tuned tines to produce melodies. systems, by contrast, use irregularly shaped discs to push or pull connected rods at predetermined intervals, enabling repetitive or complex routines. These approaches allow for "programming" without digital controls, relying solely on interference patterns. Biomechanical simulation in automata often incorporates weights, balances, and to replicate organic processes. For instance, Jacques de Vaucanson's flute-playing automaton of used a series of to simulate , with adjustable pressures and valves directing through artificial lungs and a movable tongue to produce notes on a real . Weights and counterbalances governed the figure's arm and finger motions, mimicking human articulation through interconnected levers and cables. Early conceptual designs, such as those by in the late , explored similar principles with and cams to animate humanoid figures. Despite their ingenuity, mechanical automata face inherent limitations from energy constraints and material wear. Clockwork springs store only finite energy, typically powering a for minutes to hours before requiring rewinding, precluding continuous without manual intervention. Friction between moving parts—gears meshing, cams sliding, and levers pivoting—leads to gradual degradation, necessitating and eventual repairs to prevent seizing or breakdown. These factors confined automata to short performances and ornamental roles, distinct from modern battery-powered .

Notable Examples

One of the most celebrated 18th-century mechanical automata is the Silver Swan, crafted around 1773 by jeweler and entrepreneur James Cox. This life-sized silver bird, now housed in the , features a clockwork mechanism that activates to make the swan arch its neck, appear to swallow a silver fish, and produce a flute-like melody, all powered by hidden and rods. The device captivated audiences in Cox's Mechanical and Clockwork Museum, exemplifying the era's fascination with illusionary realism in automata as symbols of technological wonder and luxury. In the early 19th century, mechanician Maillardet created the Draughtsman-Writer, an automaton dating to approximately 1800 that demonstrates advanced programmable motion through a large with dozens of adjustable cams. When activated, the seated child-like figure uses pencils to produce four distinct drawings—including a , a Chinese landscape, a double portrait, and a ship—followed by three poems inscribed in French and English, showcasing the precision of cam-driven linkages for artistic replication. Preserved at the in after surviving a 19th-century , it highlights the period's innovations in mechanical drawing and writing as entertainment for elite audiences in and . In contemporary , Dutch artist Theo Jansen's Strandbeests, initiated in 1990, form a series of wind-powered walking sculptures constructed from PVC tubes and sails that autonomously traverse beaches. These biomimetic automata employ linkage systems inspired by evolutionary algorithms to simulate legged locomotion, adapting to through flexible joints and pneumatic "muscles" made from recycled bottles for buoyancy. Evolving over decades into complex, self-sustaining forms, the Strandbeests embody artistic exploration of life-like movement, blending engineering with philosophical inquiries into artificial evolution and environmental interaction.

Theoretical Automata

Finite Automata

A finite automaton is the simplest abstract model of computation, featuring a finite set of states and transitions driven by discrete input symbols, serving as a foundational concept in computability theory for recognizing patterns in strings. Formally, a deterministic finite automaton (DFA) is defined as a 5-tuple (Q, \Sigma, \delta, q_0, F), where Q is a finite set of states, \Sigma is a finite input alphabet, \delta: Q \times \Sigma \to Q is the transition function specifying a unique next state for each state-symbol pair, q_0 \in Q is the initial state, and F \subseteq Q is the set of accepting states. The automaton processes an input string by starting at q_0 and following transitions via \delta; it accepts the string if it ends in a state from F. Finite automata come in two primary variants: deterministic and nondeterministic. A DFA, as described, has a single deterministic path for any input, making its behavior predictable and efficient for implementation. In contrast, a (NFA) generalizes this by allowing the transition function \delta: Q \times (\Sigma \cup \{\epsilon\}) \to 2^Q to map to a set of possible next states (a subset of Q), including empty-string (\epsilon) transitions without consuming input, which can lead to branching computations. Although NFAs appear more powerful due to nondeterminism, they recognize exactly the same languages as DFAs; this equivalence is proven via the subset construction method, which simulates NFA nondeterminism by constructing a DFA whose states are subsets of the NFA's states, with transitions aggregating all possible NFA moves. The class of languages accepted by finite automata is known as the regular languages, which Kleene's theorem characterizes as precisely those definable by regular expressions—concise notations for patterns using union, concatenation, and (repetition). This establishes a deep equivalence: regular expressions can be converted to NFAs, NFAs to DFAs, and DFAs back to regular expressions, providing multiple ways to specify and verify regular languages. In practical applications, finite automata underpin in compilers, where DFAs generated from regular expressions efficiently scan to tokenize keywords, identifiers, and operators by matching input against predefined patterns. A classic example illustrating finite automata is a model that dispenses a product after receiving either one quarter (25 cents) or two s (10 cents each). The s Q = \{ q_0, q_{10}, q_{20}, q_{25} \} represent accumulated value (in cents), with q_0 as the start and q_{25} as the sole accepting (F = \{ q_{25} \}); the \Sigma = \{ d, q \} denotes dime and quarter inputs. The transition function \delta is defined as: \delta(q_0, d) = q_{10}, \delta(q_0, q) = q_{25}, \delta(q_{10}, d) = q_{20}, \delta(q_{10}, q) = q_{25}, \delta(q_{20}, d) = q_{25}, and \delta(q_{20}, q) = q_{25} (with resets to q_0 or error handling for excess, simplified here). This DFA accepts sequences like "q" or "dd" but rejects "d" alone, modeling real-world sequential with finite memory.

Advanced Models

Pushdown automata extend the capabilities of finite automata by incorporating an unbounded , which serves as auxiliary to recognize context-free languages. This model, formalized in the context of generative grammars, allows the automaton to push symbols onto the stack during computation and pop them as needed, enabling the handling of dependencies and nesting that exceed the memory limitations of finite-state devices. Nondeterministic pushdown automata, in particular, play a crucial role in context-free languages, as their ability to into multiple computational paths facilitates the exploration of ambiguous derivations, determining acceptance by reaching an accepting state with the potentially empty or in a designated after the input. Turing machines provide a foundational , introduced by in as an abstract device consisting of an infinite, bidirectional tape divided into cells, a read/write head that moves left or right, a finite control with states, and a transition function dictating actions based on the current state and scanned symbol. This setup allows the machine to simulate any step-by-step mechanical procedure, defining the limits of what is computable. The Church-Turing thesis asserts that every effectively calculable function is computable by a , linking intuitive notions of to this formal model and underscoring its universality in . Chomsky's hierarchy organizes formal languages by increasing generative complexity: Type-3 (regular languages, generated by regular grammars), Type-2 (context-free languages, by context-free grammars), Type-1 (context-sensitive languages, by context-sensitive grammars), and Type-0 (recursively enumerable languages, by unrestricted grammars). Each level corresponds to the expressive power of associated automata, with pushdown automata accepting Type-2 languages and Turing machines handling Type-0, while intermediate levels like context-sensitive require more restricted Turing variants such as linear-bounded automata. This classification highlights inherent limitations, as no single model captures all language classes without exceeding the next in the , establishing a strict inclusion of language families. Multi-tape Turing machines variant augments the with multiple infinite tapes, each with its own independent head, permitting access to different streams for enhanced of algorithms. Although they offer asymptotic efficiency gains—such as reducing in certain simulations from cubic to compared to single-tape equivalents—they recognize precisely the same class of recursively enumerable languages, preserving the core computational power of the original design.

Applications and Impact

In Computing and Engineering

In computing, finite state machines (FSMs) form the backbone of protocol design, enabling the modeling of sequential behaviors in communication systems. For instance, the is specified using an FSM with 11 states, such as LISTEN, SYN-SENT, and ESTABLISHED, which dictate transitions based on events like packet receipt or timeouts to ensure reliable data transfer. This state-based approach allows protocols to handle concurrency and error recovery systematically, as seen in the three-way handshake process that establishes connections. Regular expression (regex) engines in programming languages and tools like or rely on nondeterministic finite automata (NFAs) for efficient in text processing. The seminal converts a regex into an NFA by composing smaller automata for operators like , , and , resulting in a graph with ε-transitions that simulates matching without . This method ensures linear-time performance in the length of the input string for many practical patterns, powering applications from search engines to lexical analyzers in compilers. In , particularly , finite automata underpin systems for tasks requiring sequential , such as path in dynamic environments. Finite state automata model behaviors by defining states like "searching," "obstacle avoidance," and "goal approach," with transitions triggered by inputs to generate collision-free trajectories. For example, in autonomous mobile s, these automata integrate localization data with topological maps to enable adaptive , reducing computational overhead compared to continuous methods. As of 2025, proposals for quantum automata extend classical models to leverage and entanglement for accelerated computation in specific domains. Quantum finite automata, which process inputs using quantum states instead of classical bits, promise exponential speedups for promise problems like language recognition where classical NFAs require many states. These models are being explored for applications including language recognition, with experimental demonstrations achieved using optical systems. Recent proposals as of 2025 suggest implementations on near-term hardware like superconducting qubits. In hardware design, languages like incorporate FSMs to describe digital circuits, using always blocks and case statements to encode state transitions for synthesizable modules in field-programmable gate arrays (FPGAs). This facilitates the creation of controllers, such as traffic light sequencers, where states evolve on clock edges to manage timing and inputs. Cellular automata serve as powerful simulation tools in and for modeling emergent complex behaviors from simple local rules, applicable to phenomena like or biological . John Conway's Game of Life, introduced in , exemplifies this with a 2D grid where cells evolve based on four rules—underpopulation, survival, overpopulation, and reproduction—yielding self-replicating structures like gliders and oscillators that mimic computational universality. Stephen Wolfram's classification of cellular automata into four classes highlights how Class IV rules, akin to Life, generate persistent, complex patterns suitable for simulating physical systems without explicit programming. These simulations inform designs, such as optimizing or predicting material behaviors under stress.

Cultural and Philosophical Dimensions

In , automata have served as profound metaphors for human creation and the boundaries of life. Mary Shelley's (1818) portrays the creature as an artificial being animated through scientific , symbolizing the perils of playing god and the quest for divine-like creation, which echoes earlier automaton motifs in exploring themes of and monstrosity. Similarly, Karel Čapek's play R.U.R. (Rossum's Universal Robots, 1920) introduced the term "" for synthetic workers who rebel against their makers, drawing on automaton imagery to critique industrialization and the of labor. In art and mythology, automata have influenced creative expressions of the uncanny and the artificial. Ancient myths, such as the Jewish legend of the —a clay figure brought to life by mystical incantations to protect the community—and the Greek tale of , a giant forged by to guard , prefigure modern notions of constructed beings with limited agency. These archetypes resonated in 20th-century , where incorporated mechanical figures in works like (1931), blending human forms with clockwork elements to evoke the dreamlike fusion of organic and machine. Philosophically, automata have sparked debates on consciousness and agency since the 17th century. René Descartes argued in his (1637) that animals operate as soulless automata, governed by mechanical principles without true sensation or reason, a view that extended mechanistic philosophy to question the uniqueness of human minds. This perspective fueled ongoing discussions in , where deterministic models of computation—such as finite state machines—raise tensions between and predetermination, suggesting human behavior might resemble programmable sequences devoid of genuine choice. In contemporary discourse, the legacy of automata informs ethical concerns surrounding in the , particularly illusions of that blur lines between and . As systems exhibit behaviors mimicking , debates trace back to automaton precedents, highlighting risks of over-attribution of and the moral implications of deploying entities that simulate but lack true volition.

References

  1. [1]
    AUTOMATON Definition & Meaning - Merriam-Webster
    Oct 27, 2025 · 1. a mechanism that is relatively self-operating; especially : robot. 2. a machine or control mechanism designed to follow automatically a predetermined ...
  2. [2]
    [PDF] A Bulleted/Pictorial History of Mechanisms and Machines
    Etymology: the English word Automaton comes through Latin from the Greek, 'acting of one's own will'. Automata have been developed throughout history, by the ...
  3. [3]
    The Ancient History of Intelligent Machines | The MIT Press Reader
    Nov 24, 2021 · Artificial servants, autonomous killing machines, surveillance systems, and sex robots have been part of the human imagination for thousands of years.
  4. [4]
    Hero - Science, civilization and society
    The mathematician, geometer and inventor Hero of Alexandria constructed an amazing range of fascinating machines that appear to have no other purpose than to ...
  5. [5]
    Machines in the Garden | Stanford Humanities Center
    By the early 1630s, when René Descartes argued that animals and humans, apart from their capacity to reason, were automata, European towns and villages were ...<|control11|><|separator|>
  6. [6]
    Lecture 13. Automata Jacques de Vaucanson (1709-1782)
    Jacques de Vaucanson pioneered the creation of what he called "moving anatomies": machines that could simulate internal living processes like digestion, ...
  7. [7]
    Maillardet's Automaton - The Franklin Institute
    It is believed that Maillardet built this extraordinary Automaton around 1800 and it has the largest "memory" of any such machine ever constructed—four drawings ...Missing: devices | Show results with:devices
  8. [8]
    Basics of Automata Theory - Stanford Computer Science
    Automata theory deals with the logic of computation with respect to simple machines, referred to as automata.
  9. [9]
    Finite State Automata
    Sep 10, 2025 · Definition: A Finite Automaton. A finite automaton (FA) is a 5-tuple (Q,Σ,q0,A,δ) where. Q is a finite set of states;; Σ is a finite input ...Missing: science | Show results with:science
  10. [10]
    [PDF] Automata, Computability and Complexity: Theory and Applications.
    To introduce students to the elegant theory that underlies modern computing. 2. To motivate students by showing them that the theory is alive.
  11. [11]
    nLab automaton - Automata
    Nov 1, 2024 · An automaton is an abstract concept of machine, modelled as a collection of states and transitions between states, together with an assignment of some external ...
  12. [12]
    Automaton - Etymology, Origin & Meaning
    Automaton, from Greek automaton meaning "self-acting," combines autos "self" + matos "thinking"; originally a self-acting machine, later a living being ...Missing: Homer Aristotle
  13. [13]
    Homer's Intelligent Machines: AI in Antiquity - Oxford Academic
    In putting wheels onto his tripods, then, Homer's Hephaestus is demonstrating an already familiar, traditional technology. What is remarkable about his ...Homer's Automata · Homer's Autonomous Vehicles · Homer's Embodied AI
  14. [14]
    ARISTOTLE, Physics | Loeb Classical Library
    In Greek tyche and automaton differ in this, that automaton is the more general term and includes tyche as a special class. For (1) tyche itself, as a cause, ...
  15. [15]
  16. [16]
    History of Automata - The Mechanical Art & Design Museum
    The word automata (the plural of automaton) derives from the Greek word αὐτόματα, which means “acting of one's own will”. An automaton generally refers to a ...
  17. [17]
    [PDF] Seventeenth-century self-movers — 2010/07 1 - Dennis Des Chene
    The notion of an automaton, as it is employed in the natural philosophy of Descartes and his closest followers, has three main components.
  18. [18]
    THE MECHANICAL DAUGHTER OF RENE DESCARTES
    Aug 19, 2016 · A fantastic story concerning René Descartes relates how the philosopher once built an automaton in the shape of a young girl and took it aboard a ship.
  19. [19]
    Automata Theory
    An automaton as a kind of machine, real or abstract, that follows a fixed set of instructions to carry out a step-by-step procedure.
  20. [20]
    Automata – The British Clockmaker
    Automaton (singular) is defined as: “A mechanism having its motive power so concealed that it appears to move spontaneously.” The term is generally applied to ...
  21. [21]
    [PDF] 1 Turing Machines and Effective Computability - CS@Cornell
    Apr 1, 2013 · Turing machines can compute any function normally considered computable; in fact, it is quite reasonable to define computable to mean computable ...
  22. [22]
    Dunamis and the Science of Mechanics: Aristotle on Animal Motion
    Aug 6, 2025 · PDF | It is shown that Aristotle's references to automata in his biological treatises are meant to invoke the principle behind the ancient ...
  23. [23]
    THE PNEUMATICS OF HERO OF ALEXANDRIA
    PNEUMATICS. OF. HERO OF ALEXANDRIA. FROM THE ORIGINAL GREEK. TRANSLATED FOR AND EDITED BY. BENNET WOODCROFT PROFESSOR OF MACHINERY IN UNIVERSITY COLLEGE, LONDON ...
  24. [24]
    Robots guarded Buddha's relics in a legend of ancient India
    Mar 13, 2019 · In India, automatons or mechanical beings that could move on their own were called “bhuta vahana yanta,” or “spirit movement machines” in Pali ...
  25. [25]
    XII. The Ancient Indian Water-clock | Journal of the Royal Asiatic ...
    Mar 15, 2011 · The Indian water-clock was an arrangement for measuring by means of water and a jar or bowl the duration of a nāḍī, nāḍikā, nālikā, or ghaṭī, ghaṭikā.
  26. [26]
    Al-Jazarī Creates the First Recorded Designs of a Programmable ...
    al-Jazari created a musical automaton, which was a boat with four automatic musicians that floated on a lake to entertain guests at royal drinking parties.
  27. [27]
    Al-Jazari's Elephant Clock: An amazing feat of early engineering
    One of Al-Jazari's greatest masterpieces is the elephant clock. Its moving parts were automated using a water-powered timer inspired by an Indian mechanism ...
  28. [28]
    Al-Jazari: the father of robotics - cs4fn
    May 26, 2023 · Powered by water, his automata acted as servants doing specific tasks. One machine was a humanoid automaton that acted as a servant during ...<|separator|>
  29. [29]
    [PDF] European Clocks and Watches - The Metropolitan Museum of Art
    Moving figures, or automata, were often added. The masters of this ... on the Astronomical Clock) (1327–36), Richard of Wallingford (ca. 1292–. 1336) ...
  30. [30]
    The Astronomical Clock of Richard of Wallingford - Nicholas Whyte
    Richard of Wallingford designed an elaborate and fantastically accurate astronomical clock for St Alban's Abbey.Missing: automated | Show results with:automated
  31. [31]
    A Renaissance Robot - ASME Digital Collection
    Fashioned to look like an armored knight, the mechanical man in this three-dimensional simulation sits up, waves its arms, moves its head on a flexible neck, ...
  32. [32]
    Robotic Knight - Leonardo Da Vinci Inventions
    The Robotic Knight consisted of a knight suit filled with gears and wheels that were connected to an elaborate pulley and cable system.Missing: actions | Show results with:actions
  33. [33]
    Canard Digérateur de Vaucanson (Vaucanson's Digesting Duck)
    Jan 30, 2010 · The duck sat on an enormous base housing the mechanics, and was life-sized, constructed of hundreds of parts covered in perforated gold-plated ...Missing: biomechanics | Show results with:biomechanics
  34. [34]
    [PDF] The Defecating Duck, or, the Ambiguous Origins of Artificial Life
    The review of. Vaucanson's treatise on the Flute-player in the Journal des sçavans also emphasized the role of anatomical and physical research in informing the ...Missing: biomechanics | Show results with:biomechanics
  35. [35]
    Mechanical miracles: The rise of the automaton | Christie's
    a draughtsman (see main ...Missing: context | Show results with:context
  36. [36]
    Strandbeest: Home
    The exhibition of extinct strandbeesten by Theo Jansen is open for public on Thursdays from 1 pm till 9pm till half November. Thursday November 13 is the last ...Shop · Fossils · Evolution · News
  37. [37]
    The first autonomous, entirely soft robot - Wyss Institute
    Aug 24, 2016 · Harvard's octobot is pneumatic-based, i.e., it is powered by gas under pressure.
  38. [38]
    New flexible soft robots transform health care, fabrication and ...
    Apr 15, 2025 · Research teams across the nation have developed new approaches to soft robotics, which focus on robots that can adapt to the environment around them.Missing: automata 2020-2025<|control11|><|separator|>
  39. [39]
    Crank and Motor-Powered Automata Figures In The Fourth Dimension
    Most automata were operated by clockwork. Strong mainsprings turned the gears, cams and linkages created movement. These automata were mostly figurative.Missing: levers | Show results with:levers
  40. [40]
    How clockwork works: An introduction to windup mechanisms
    Mar 29, 2022 · Like an old-fashioned clock, a clockwork device is completely mechanical and has these essential parts: A key (or crown) you wind to add energy.What is clockwork? · Adding and storing energy · Using energy · Cams and cranks
  41. [41]
    [PDF] Prehistory of Musical Robots - Michael Krzyzaniak
    The mechanisms controlling the lips, fingers, and bellows's valves were connected via cables to levers that rested on a pegged cylinder, similar to that in the ...
  42. [42]
    Jacques de Vaucanson Exhibits Flute-playing Automaton
    The wooden figure was painted white, the better to resemble a sculpture's marble, with a corresponding mechanism for every tiny muscle involved in the task.
  43. [43]
    Renaissance Robotics: Leonardo da Vinci's Lost Knight and ...
    Sep 24, 2015 · An analogue programmer made of a worm gear and rotating drum cam in its chest carefully controlled its movements and powered its arms, while the ...
  44. [44]
    [PDF] Analysis and Conservation of a 19th Century Automaton
    Jul 1, 2024 · Prior to the 20th century, interior mechanical movement automata were powered by a clockwork source (a strong main spring housed within a ...<|separator|>
  45. [45]
    The Silver Swan Story - The Bowes Museum
    Jan 30, 2019 · The Silver Swan was first recorded in 1774 as a crowd puller in the Mechanical Museum of James Cox, a London jeweller and 18th century entrepreneur.
  46. [46]
    This Robotic Silver Swan Has Fascinated Fans for Nearly 250 Years
    Feb 3, 2017 · Yes, it's real silver, the product of Belgian inventor John Joseph Merlin who collaborated with London inventor James Cox on the 18th-century ...
  47. [47]
    A History of the World - Object : Silver Swan - BBC
    The Silver Swan, made by James Cox in London in about 1773, is a life-size clockwork automaton that imitates the behaviour of a real swan.
  48. [48]
    Introducing the Draughtsman-Writer automaton
    Apr 5, 2017 · The 'Draughtsman-Writer' automaton was built by Henri Maillardet in about 1800. It is one of the most remarkable examples from a whole generation of machines ...
  49. [49]
    Henri Maillardet - Computer Timeline
    Around 1800, the Swiss mechanician and clockmaker Henri Maillardet (1745-1830), who worked then in London, created an extraordinary automaton, ...
  50. [50]
    An Original Autograph by Maillardet's Automaton, the Most Famous ...
    A spring-activated automaton that drew pictures and wrote verses in both French and English. The reconstructed automaton is preserved in the Franklin Institute ...
  51. [51]
    Elektro the Moto-Man Had the Biggest Brain at the 1939 World's Fair
    Sep 28, 2018 · Elektro, a 2.1m tall robot, had 48 electrical relays, a 25kg brain, and could walk, talk, count, sing, and smoke. It used timed voice commands.
  52. [52]
    The return of Elektro, the first celebrity robot | New Scientist
    Dec 17, 2008 · Elektro was one of the world's first celebrity robots. With electrical controls that were remarkably advanced for the time, he drew huge crowds at the 1939 New ...
  53. [53]
    ELEKTRO the Westinghouse Robot
    Elektro was the first robot in the world that could walk, talk, and even count on his fingers! At the World's Fair, he demonstrated his remarkable abilities.
  54. [54]
    Dream Machines: A Conversation with Theo Jansen - Sculpture
    Jun 26, 2016 · In 1990, Dutch artist Theo Jansen began creating Strandbeests, or “beach animals,” an interactive and dynamic, wind-driven life form that ...Missing: automata | Show results with:automata
  55. [55]
    The Engineering of the Strandbeest: How the Magnificent ...
    Dec 11, 2024 · First assembled in 1990 by the Dutch artist Theo Jansen, a Strandbeest (Dutch for “beach beast”) is a kind of wind-powered kinetic sculpture ...
  56. [56]
    Introduction to Automata Theory, Languages, and Computation (3rd ...
    Introduction to Automata Theory, Languages, and Computation (3rd Edition)July 2006 · Addison-Wesley Longman Publishing Co., Inc. · 75 Arlington Street, Suite 300 ...
  57. [57]
    Finite Automata and Their Decision Problems - IEEE Xplore
    ... IBM Journal of Research and D... >Volume: 3 Issue: 2. Finite Automata and Their Decision Problems. Publisher: IBM. Cite This. PDF. M. O. Rabin; D. Scott. All ...
  58. [58]
    Three models for the description of language - IEEE Xplore
    We investigate several conceptions of linguistic structure to determine whether or not they can provide simple and revealing grammars.
  59. [59]
    [PDF] The algebraic theory of context-free languages
    A major concern of the general theory of natural languages is to define the class of possible strings (by fixing a universal phonetic alphabet); the class of ...
  60. [60]
    [PDF] ON COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ...
    By A. M. TURING. [Received 28 May, 1936. —Read 12 November, 1936.] The "computable" numbers may be described briefly as the real numbers whose expressions as a ...
  61. [61]
    The Church-Turing Thesis (Stanford Encyclopedia of Philosophy)
    Jan 8, 1997 · The Church-Turing thesis concerns the concept of an effective or systematic or mechanical method, as used in logic, mathematics and computer science.The Case for the Church... · The Church-Turing Thesis and...
  62. [62]
    [PDF] Variants of Turing machines
    A multi-tape DTM works in a similar way to an ordinary (single-tape) DTM, except that it has k tape heads that operate independently on k tapes, for some fixed ...
  63. [63]
    RFC 9293 - Transmission Control Protocol (TCP) - IETF Datatracker
    This document specifies the Transmission Control Protocol (TCP). TCP is an important transport-layer protocol in the Internet protocol stack.Table of Contents · Purpose and Scope · Introduction · Functional Specification
  64. [64]
    Regular Expression Matching Can Be Simple And Fast
    The method described here was first described by Thompson in his 1968 CACM paper. The NFA for a regular expression is built up from partial NFAs for each ...
  65. [65]
    Finite state automaton based control system for walking machines
    Jun 2, 2019 · This article presents a functional control structure based on the logic-labelled finite state automaton approach developed for walking machines.
  66. [66]
    Adaptive finite state machine based visual autonomous navigation ...
    In this paper we present an original approach applied to autonomous mobile robots navigation integrating localization and navigation using a topological map.
  67. [67]
    An Automata-Based Framework for Verification and Bug Hunting in ...
    May 29, 2025 · This paper introduces a novel automata-based framework tailored for the verification of quantum circuits.
  68. [68]
    1.6.4.2. Verilog HDL State Machines - Intel
    Mar 28, 2022 · If you are using the SystemVerilog standard, use enumerated types to describe state machines. · Represent the states in a state machine with the ...
  69. [69]
    [PDF] Cellular automata as models of complexity | Wolfram
    Cellular automata are examples of mathematical systems con- structed from many identical components, each simple, but together capable of complex behaviour.
  70. [70]
    [PDF] Automata, artificial bodies, and reproductive futurisms in nineteenth ...
    interpretation of Mary Shelley's Frankenstein. Malchow suggests that Frankenstein's monster mobilized early-nineteenth-century British fears about colonial ...
  71. [71]
    The Czech Play That Gave Us the Word 'Robot'
    Jul 29, 2019 · By the time his play “R.U.R.” (which stands for “Rossum's Universal Robots”) premiered in Prague in 1921, Karel Čapek was a well-known Czech ...Missing: automata | Show results with:automata
  72. [72]
    Was Talos, the Bronze Automaton Who Guarded the Island of Crete ...
    Apr 22, 2025 · Talos was depicted in myth as a machine programmed to act human though never capable of achieving regular human life—what one might call a robot ...
  73. [73]
    Becoming Machine: Surrealist Automatism and Some Contemporary ...
    While Salvador Dalí did not partake of the 'birth pangs' of surrealism, as Breton ruefully observed, his overheated imagination provides a vivid if fanciful ...
  74. [74]
    Descartes on Animals - jstor
    The answer to these questions lies in locating Descartes' deliberations on the animal soul within his own philosophical system. everything a matter of doubt. ...<|separator|>
  75. [75]
    Leibniz's critique of Descartes on animal and human nature
    Whereas Descartes conceived non-human animals in terms of mechanical automata, he also denied that the human rational soul can be modeled on the nature of an ...Automata, Reason, And Free... · Introduction · Leibnizian Living Beings As...
  76. [76]
    Ethical concerns mount as AI takes bigger decision-making role
    Oct 26, 2020 · AI presents three major areas of ethical concern for society: privacy and surveillance, bias and discrimination, and perhaps the deepest, most ...Missing: 2020s illusions