Last active
November 5, 2022 20:38
-
-
Save DeoEsor/b24579d1a989aaaecde8fcb798cfa9e7 to your computer and use it in GitHub Desktop.
formal-languages.ipynb
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "nbformat": 4, | |
| "nbformat_minor": 0, | |
| "metadata": { | |
| "colab": { | |
| "provenance": [], | |
| "collapsed_sections": [], | |
| "authorship_tag": "ABX9TyMc61ulHky0mP6O/P4gbFsp", | |
| "include_colab_link": true | |
| }, | |
| "kernelspec": { | |
| "name": "python3", | |
| "display_name": "Python 3" | |
| }, | |
| "language_info": { | |
| "name": "python" | |
| } | |
| }, | |
| "cells": [ | |
| { | |
| "cell_type": "markdown", | |
| "metadata": { | |
| "id": "view-in-github", | |
| "colab_type": "text" | |
| }, | |
| "source": [ | |
| "<a href=\"https://colab.research.google.com/gist/DeoEsor/b24579d1a989aaaecde8fcb798cfa9e7/formal-languages.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>" | |
| ] | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "source": [ | |
| "$T \\Rightarrow TF \\Rightarrow TFF \\Rightarrow TFFF \\Rightarrow FFFF \\Rightarrow 2FFF \\Rightarrow 20FF \\Rightarrow 200F \\Rightarrow 2001$" | |
| ], | |
| "metadata": { | |
| "id": "2x4ev6lc4RtT" | |
| } | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "source": [ | |
| "$S \\Rightarrow -T \\Rightarrow -TF \\Rightarrow -FF \\Rightarrow -5F \\Rightarrow -57$" | |
| ], | |
| "metadata": { | |
| "id": "hElTfASP4nc3" | |
| } | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "source": [ | |
| "$F \\Rightarrow 8$\n", | |
| "\n", | |
| "---\n", | |
| "\n" | |
| ], | |
| "metadata": { | |
| "id": "-bsWM79o5NC_" | |
| } | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "source": [], | |
| "metadata": { | |
| "id": "7dLJBN5R_iK_" | |
| } | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "source": [ | |
| "" | |
| ], | |
| "metadata": { | |
| "id": "dZOst54w84wE" | |
| } | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "source": [ | |
| "$T \\Rightarrow TF \\Rightarrow TFF \\Rightarrow TFFF \\Rightarrow FFFF \\Rightarrow 2FFF \\Rightarrow 20FF \\Rightarrow 200F \\Rightarrow 2001$" | |
| ], | |
| "metadata": { | |
| "id": "6GMHATzJ_qgQ" | |
| } | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "source": [ | |
| "$S \\Rightarrow -T \\Rightarrow -TF \\Rightarrow -FF \\Rightarrow -5F \\Rightarrow -57$" | |
| ], | |
| "metadata": { | |
| "id": "VmNMaE6M_qgU" | |
| } | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "source": [ | |
| "$F \\Rightarrow 8$" | |
| ], | |
| "metadata": { | |
| "id": "WFqBn3PY_qgV" | |
| } | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "source": [ | |
| "\n", | |
| "\n", | |
| "---\n", | |
| "\n" | |
| ], | |
| "metadata": { | |
| "id": "9U_zRpqU9CbN" | |
| } | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "source": [ | |
| " \\\\\n", | |
| "Только алфавит ${1, 8, f}$" | |
| ], | |
| "metadata": { | |
| "id": "u9Xmu2zc8_e7" | |
| } | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "source": [ | |
| "Задна грамматика G({1,b,c},{B,C,D,S},P,S) с правилами:\n", | |
| "P: \\\\\n", | |
| "$S → BD$ \\\\\n", | |
| "$B → 1B8C | 18$ \\\\\n", | |
| "$C8 → 8C$ \\\\\n", | |
| "$CD → Df$ \\\\\n", | |
| "$8Df → 8ff$ \\\\\n", | |
| "$a$\n" | |
| ], | |
| "metadata": { | |
| "id": "MdvmHVeE-vPR" | |
| } | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "source": [ | |
| "$S \\Rightarrow BD \\Rightarrow 1B8CD \\Rightarrow 11B8C8CD \\Rightarrow 11188C8CD \\Rightarrow 111888CCD \\Rightarrow 111888CDf \\Rightarrow 111888Dff \\Rightarrow 111888fff$" | |
| ], | |
| "metadata": { | |
| "id": "QUdyVhPf9cqS" | |
| } | |
| }, | |
| { | |
| "cell_type": "markdown", | |
| "source": [ | |
| "Self-writed task: \n", | |
| "\n", | |
| "Задана грамматика G({a, b, c, d}, {B, C, D, S, M}, O, S)\n", | |
| "\n", | |
| "P: \\\\\n", | |
| "$S → BMD$ \\\\\n", | |
| "$B → C | 8$ \\\\\n", | |
| "$8M → S$ \\\\\n", | |
| "$CD → Df$ \\\\\n", | |
| "$8Df → 8ff$ \\\\\n", | |
| "\n", | |
| "\n", | |
| "$ S \\Rightarrow BMD \\Rightarrow CMD | 8MD \\Rightarrow CMD | SM \\Rightarrow" | |
| ], | |
| "metadata": { | |
| "id": "oqLTs3h3_1OM" | |
| } | |
| } | |
| ] | |
| } |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment