Для чего людям потребовались формальные языки
Для чего людям потребовались формальные языки?
А других и не бывает. Все языки создавались искусственно, зачастую в несколько этапов. И различными авторами. В результате они имеют тенденцию к изменению. И некоторые моменты являются спорными. А некоторые из языков вообще считаются произведениями искусства.
Улыбка обычно показывает, что человек расслаблен и не представляет угрозы, и можно расслабиться самому. Это выражение лица одинаково воспринимается людьми любой национальности.
Массовая безграмотность в интернете связана:
В психологическом аспекте для русского человека близость иностранного языка может рассматриваться только индивидуально. Кому английский, кому испанский.Или, например, я на филфаке знал преподавательницу, которая жить не могла без селькупского языка, кандидатскую на нем защитила,хотя, многие здесь о таком языке и не слыхивали.А вот в грамматическом отношении к русскому очень близок немецкий язык, как уже здесь сказали.
Одним из очень известных сайтов для изучения английского языка является лингва-лео. Там Вам предлагают не тупо учить правила языка и проверять их усвоение на нудных тестах, а обучаться английскому в игровой форме. С помощью фильмов, песен и прочих интересных штук. Там Вы сможете найти даже тексты из газетных статей, которые не встретишь в учебниках без обработки. Попробуйте)
Если Вы задались целью и Ваш бюджет позволяет Вам уехать года на три за границу, то отправляйтесь в школу языка при каком-либо известном университете и даже находясь в комнатах общежития общайтесь только на языке, которым хотите овладеть. Сайты, предлагающие такой вариант, найти легко. Главное желание, деньги и время)
Учителя слабеют в профессиональном плане.
Если мои старые учителя писали без единой ошибки и того же требовали от нас,
то у учителей моих детей ошибки уже не редкость. А у следующего педагогического поколения их станет ещё больше.
Идёт накопление ошибок, к сожалению.
Но на учителя надейся, а сам не плошай.
Читать надо много, чтоб хотя бы за счёт зрительной памяти выезжать. А дети уже и читают всё меньше и меньше.
Для чего людям потребовались формальные языки?
Для чего людям потребовались формальные языки?
Формальный язык однозначен и не допускает толкований.
При выполнении его инструкций результат такжеоднозначен, что имеет огромное значение при производстве вычислений и построении числовых моделей, что позволяет судить о правильност их построения.
Ключевое слово ОДНОЗНАЧНОСТЬ!
Приведите 5 примеров формального языка?
Приведите 5 примеров формального языка.
Основное отличие формальных языков от естественных?
Основное отличие формальных языков от естественных.
Приведите примеры формальных языков?
Приведите примеры формальных языков?
В чем состоит различие между естественными и формальными языками?
В чем состоит различие между естественными и формальными языками?
Приведите примеры формального языка?
Приведите примеры формального языка.
Чем отличается естественный язык от формальных?
Чем отличается естественный язык от формальных?
Сравните естественные и формальные языки по сфере применения?
Сравните естественные и формальные языки по сфере применения.
Cpaвните естественные и формальные языки а) по сфере употребления б) по правилам оперирования знаками языка?
Cpaвните естественные и формальные языки а) по сфере употребления б) по правилам оперирования знаками языка.
Формальные языки и грамматики
Мотивация
Время от времени на Хабре публикуются посты и переводные статьи, посвященные тем или иным аспектам теории формальных языков. Среди таких публикаций (не хочется указывать конкретные работы, чтобы не обижать их авторов), особенно среди тех, которые посвящены описанию различных программных инструментов обработки языков, часто встречаются неточности и путаница. Автор склонен считать, что одной из основных причин, приведших к такому прискорбному положению вещей, является недостаточный уровень понимания идей, лежащих в основании теории формальных языков.
Этот текст задуман как популярное введение в теорию формальных языков и грамматик. Эта теория считается (и, надо сказать, справедливо) довольно сложной и запутанной. На лекциях студенты обычно скучают и экзамены тем более не вызывают энтузиазма. Поэтому и в науке не так много исследователей в этой тематике. Достаточно сказать, что за все время, с зарождения теории формальных грамматик в середине 50-х годов прошлого века и до наших дней, по этому научному направлению было выпущено всего две докторских диссертации. Одна из них была написана в конце 60-х годов Алексеем Владимировичем Гладким, вторая уже на пороге нового тысячелетия — Мати Пентусом.
Далее в наиболее доступной форме описаны два основных понятия теории формальных языков: формальный язык и формальная грамматика. Если тест будет интересен аудитории, то автор дает торжественное обещание разродиться еще парой подобных опусов.
Формальные языки
Коротко говоря, формальный язык — это математическая модель реального языка. Под реальным языком здесь понимается некий способ коммуникации (общения) субъектов друг с другом. Для общения субъекты используют конечный набор знаков (символов), которые проговариваются (выписываются) в строгом временном порядке, т.е. образуют линейные последовательности. Такие последовательности обычно называют словами или предложениями. Таким образом, здесь рассматривается только т.н. коммуникативная функция языка, которая изучается с использованием математических методов. Другие функции языка здесь не изучаются и, потому, не рассматриваются.
В качестве известного примера такой математической абстракции можно привести модель, известную под неблагозвучным для русского уха названием «мешок слов». В этой модели исследуются тексты естественного языка (т.е. одного из тех языков, которые люди используют в процессе повседневного общения между собой). Основной объект модели мешка слов — это слово, снабженное единственным атрибутом, частотой встречаемости этого слова в исходном тексте. В модели не учитывается, как слова располагаются рядом друг с другом, только сколько раз каждое слово встречается в тексте. Мешок слов используется в машинном обучении на основе текстов в качестве одного из основных объектов изучения.
Но в теории формальных языков представляется важным изучить законы расположения слов рядом друг с другом, т.е. синтаксические свойства текстов. Для этого модель мешка слов выглядит бедной. Поэтому формальный язык задается как множество последовательностей, составленных из элементов конечного алфавита. Определим это более строго.
Алфавит представляет собой конечное непустое множество элементов. Эти элементы будем называть символам. Для обозначения алфавита обычно будем использовать латинское V, а для обозначения символов алфавита — начальные строчные буквы латинского алфавита. Например, выражение V =
Цепочка представляет собой конечную последовательность символов. Например, abc — цепочка из трех символов. Часто при обозначении цепочек в символах используют индексы. Сами цепочки обозначают строчными символами конца греческого алфавита. Например, omega = a1. an — цепочка из n символов. Цепочка может быть пустой, т.е. не содержать ни одного символа. Такие цепочки будем обозначать греческой буквой эпсилон.
Наконец, формальный язык L над алфавитом V — это произвольное множеств цепочек, составленных из символов алфавита V. Произвольность здесь означает тот факт, что язык может быть пустым, т.е. не иметь ни одной цепочки, так и бесконечным, т.е. составленным из бесконечного числа цепочек. Последний факт часто вызывает недоумение: разве имеются реальные языки, которые содержат бесконечное число цепочек? Вообще говоря, в природе все конечно. Но мы здесь используем бесконечность как возможность образования цепочек неограниченной длины. Например, язык, который состоит из возможных имен переменных языка программирования C++, является бесконечным. Ведь имена переменных в C++ не ограничены по длине, поэтому потенциально таких имен может быть бесконечно много. В реальности, конечно, длинные имена переменных не имеют для нас особого смысла т.к. к концу чтения такого имени уже забываешь его начало. Но в качестве потенциальной возможности задавать неограниченные по длине переменные, это свойство выглядит полезным.
Итак, формальные языки — это просто множества цепочек, составленных из символов некоторого конечного алфавита. Но возникает вопрос: как можно задать формальный язык? Если язык конечен, то можно просто выписать все его цепочки одну за другой (конечно, можно задуматься, имеет ли смысл выписывать цепочки языка, имеющего хотя бы десять тысяч элементов и, вообще, есть ли смысл в таком выписывании?). Что делать, если язык бесконечен, как его задавать? В этот момент на сцену выходят грамматики.
Формальные грамматики
Способ задания языка называет грамматикой этого языка. Таким образом, грамматикой мы называем любой способ задания языка. Например, грамматика L =
Назначение грамматики — задание языка. Это задание обязательно должно быть конечным, иначе человек не будет в состоянии эту грамматику понять. Но каким образом, конечное задание описывает бесконечные совокупности? Это возможно только в том случае, если строение всех цепочек языка основано на единых принципов, которых конечное число. В примере выше в качестве такого принципа выступает следующий: «каждая цепочка языка начинается с символов a, за которыми идет столько же символов b». Если язык представляет собой бесконечную совокупность случайным образом набранных цепочек, строение которых не подчиняется единым принципам, то очевидно для такого языка нельзя придумать грамматику. И здесь еще вопрос, можно или нет считать такую совокупность языком. В целях математической строгости и единообразия подхода обычно такие совокупности языком считают.
Итак, грамматика языка описывает законы внутреннего строения его цепочек. Такие законы обычно называют синтаксическими закономерностями. таким образом, можно перефразировать определение грамматики, как конечного способа описания синтаксических закономерностей языка. Для практики интересны не просто грамматики, но грамматики, которые могут быть заданы в рамках единого подхода (формализма или парадигмы). Иначе говоря, на основе единого языка (метаязыка) описания грамматик всех формальных языков. Тогда можно придумать алгоритм для компьютера, который будет брать на вход описание грамматики, сделанное на этом метаязыке, и что-то делать с цепочками языка.
Такие парадигмы описания грамматик называют синтаксическими теориями. Формальная грамматика — это математическая модель грамматики, описанная в рамках какой-то синтаксической теории. Таких теорий придумано довольно много. Самый известный метаязык для задания грамматик — это, конечно, порождающие грамматики Хомского. Но имеются и другие формализмы. Один из таких них — окрестностные грамматики, будет описан чуть ниже.
Окрестностные грамматики
В середине 60-х годов советский математик Юлий Анатольевич Шрейдер предложил простой способ описания синтаксиса языков на основе т.н. окрестностных грамматик. Для каждого символа языка задается конечное число его «окрестностей» — цепочек, содержащих данный символ (центр окрестности) где-то внутри. Набор таких окрестностей для каждого символа алфавита языка называется окрестностной грамматикой. Цепочка считается принадлежащей языку, задаваемому окрестностной грамматикой, если каждый символ этой цепочки входит в нее вместе с некоторой своей окрестностью.
Не всякий язык может быть описан окрестностной грамматикой. Рассмотрим, например, язык B, цепочки которого начинаются либо с символа «0», либо с символа «1». В последнем случае далее в цепочке могут идти символы «a» и «b». Если же цепочка начинается с нуля, то далее могут идти только символы «a». Нетрудно доказать, что для этого языка нельзя придумать никакой окрестностной грамматики. Легитимность вхождения символа «b» в цепочку обусловлена ее первым символом. Для любой окрестностной грамматики, в которой задается связь между символами «b» и «1» можно будет подобрать достаточно длинную цепочку, чтобы всякая окрестность символа «b» не доставала до начала цепочки. Тогда в начало можно будет подставить символ «0» и цепочка будет принадлежать языку A, что не отвечает нашим интуитивным представлениям о синтаксическом строении цепочек этого языка.
С другой стороны, легко можно построить конечный автомат, который распознает этот язык. Значит, класс языков, которые описываются окрестностными грамматиками, уже класса автоматных языков. Языки, задаваемые окрестностными грамматиками, будем называть шрейдеровскими. Таким образом, в иерархии языков можно выделить класс шрейдеровских языков, который является подклассом автоматных языков.
Можно сказать, что шрейдеровские языки задают одно простое синтаксическое отношение — «быть рядом» или отношение непосредственного предшествования. Отношение дальнего предшествования (которое, очевидно, присутствует в языке B) окрестностной грамматикой задано быть не может. Но, если визуализировать синтаксические отношения в цепочках языка, то для диаграмм отношений, в которые превращаются такие цепочки, можно придумать окрестностную грамматику.
Для чего людям потребовались формальные языки?
Архитекторы Ж. Б. Валлен-Деламот и А. Ф. Кокоринов, Шувалов
Поточнее нельзя расписать подробнее?
1) Узнать какого числа приезжает и уезжает друг;
2) Узнать какой театр хочет посетить друг;
3) Посмотреть на сайте, выбранного другом театра, какие спектакли идут в период, когда друг будет в городе;
4) Рассказать другу о том, какие спектакли он может посетить и спросить, какой он хочет посетить;
5) Спросить у друга, сколько билетов ему необходимо;
5) Посмотреть на сайте выбранного другом театра, сколько стоит один билет на спектакль
6) Посчитать сколько будут стоить все билеты
7) Взять деньги и поехать в выбранный другом театр
8) Подойти к билетной кассе в выбранном театре
9) Попросить продать нужное количество билетов на выбранный другом спектакль
10) Оплатить и забрать билеты