%3

{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# `automaton | aut`\n", "\n", "The (accessible part of the) \"tuple\" of automata, ie the $k$-tape automaton whose behavior is the Cartesian product of the behaviors of the input automata.\n", "\n", "See also:\n", "- [expansion.tuple](expansion.tuple.ipynb)\n", "- [expression.tuple](expression.tuple.ipynb)\n", "- [polynomial.tuple](polynomial.tuple.ipynb)\n", "\n", "\n", "## Examples" ] }, { "cell_type": "code", "execution_count": 1, "metadata": {}, "outputs": [ { "data": { "image/svg+xml": [ "\n", "\n", "\n", "\n", "\n" ], "text/plain": [ "mutable_automaton>, q>>" ] }, "execution_count": 1, "metadata": {}, "output_type": "execute_result" } ], "source": [ "import vcsn\n", "exp = vcsn.context('lan, q').expression\n", "e1 = exp('abc')\n", "a1 = e1.automaton()\n", "a1" ] }, { "cell_type": "code", "execution_count": 2, "metadata": {}, "outputs": [ { "data": { "image/svg+xml": [ "\n", "\n", "\n", "\n", "\n" ], "text/plain": [ "mutable_automaton>, q>>" ] }, "execution_count": 2, "metadata": {}, "output_type": "execute_result" } ], "source": [ "e2 = exp('(<2>x)*')\n", "a2 = e2.automaton()\n", "a2" ] }, { "cell_type": "code", "execution_count": 3, "metadata": {}, "outputs": [ { "data": { "image/svg+xml": [ "\n", "\n", "\n", "\n", "\n" ], "text/plain": [ "tuple_automaton>, nullableset>>, q>>, mutable_automaton>, q>>, mutable_automaton>, q>>>" ] }, "execution_count": 3, "metadata": {}, "output_type": "execute_result" } ], "source": [ "a1 | a2" ] }, { "cell_type": "code", "execution_count": 4, "metadata": {}, "outputs": [ { "data": { "image/svg+xml": [ "\n", "\n", "\n", "\n", "\n" ], "text/plain": [ "mutable_automaton>, nullableset>>, q>>" ] }, "execution_count": 4, "metadata": {}, "output_type": "execute_result" } ], "source": [ "(e1 | e2).automaton()" ] } ], "metadata": { "kernelspec": { "display_name": "Python 3", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.5.3" } }, "nbformat": 4, "nbformat_minor": 1 }