%3

{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# _automaton_.is_empty\n", "\n", "Whether the automaton is _empty_, i.e., it has no states.\n", "\n", "See also:\n", "- [_automaton_.is_useless](automaton.is_useless.ipynb)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "## Examples" ] }, { "cell_type": "code", "execution_count": 1, "metadata": { "collapsed": false }, "outputs": [], "source": [ "import vcsn" ] }, { "cell_type": "code", "execution_count": 2, "metadata": { "collapsed": false }, "outputs": [ { "data": { "image/svg+xml": [ "\n", "\n", "\n", "\n", "\n" ], "text/plain": [ "name_automaton, b>>>" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "%%automaton a daut\n", "context = \"lal_char, b\"\n", "0" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "This automaton is useless (it accepts the empty language), yet it is not empty." ] }, { "cell_type": "code", "execution_count": 3, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "False" ] }, "execution_count": 3, "metadata": {}, "output_type": "execute_result" } ], "source": [ "a.is_empty()" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "If we trim it, then it is empty (which is why it seems that there is no result):" ] }, { "cell_type": "code", "execution_count": 4, "metadata": { "collapsed": false }, "outputs": [ { "data": { "image/svg+xml": [ "\n", "\n", "\n", "\n", "\n" ], "text/plain": [ "filter_automaton, b>>>>" ] }, "execution_count": 4, "metadata": {}, "output_type": "execute_result" } ], "source": [ "a.trim()" ] }, { "cell_type": "code", "execution_count": 5, "metadata": { "collapsed": false }, "outputs": [ { "data": { "text/plain": [ "True" ] }, "execution_count": 5, "metadata": {}, "output_type": "execute_result" } ], "source": [ "a.trim().is_empty()" ] } ], "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.4.3" } }, "nbformat": 4, "nbformat_minor": 0 }

automaton.is_empty

Examples