Теория вычислений. Введение в конечные автоматы

Конечные автоматы (finite-state machine)

Это до предела упрощенная модель компьютера имеющая конечное число состояний, которая жертвует всеми особенностями компьютеров такие как ОЗУ, постоянная память, устройства ввода-вывода и процессорными ядрами в обмен на простоту понимания, удобство рас­суждения и легкость программной или аппаратной реализации.

С помощью КА можно реализовать такие вещи как, регулярные выражения, лексический анализатор, ИИ в играх и тд.

У конечных автоматов имеется таблица переходов, текущее состояние автомата, стартовое состояние и заключительное состояние.

Таблица переходов — В ней хранятся переходы для текущего состояния и входного символа. Простейшая реализация може ... Читать дальше »

Теория автоматов Введение

Термин «автоматы» происходит от греческого слова «αὐτόματα», что означает «самодействующий». Автомат (множественные числа автоматов) – это абстрактное самоходное вычислительное устройство, которое автоматически выполняет заданную последовательность операций.

Автомат с конечным числом состояний называется конечным автоматом (FA) или конечным автоматом (FSM).

Руководство Google по стилю в C++. Часть 10

Эта статья является переводом части руководства Google по стилю в C++ на русский язык.
Исходная статья (fork на github), обновляемый перевод.
 

Форматирование

Стиль кодирования и форматирования являются вещью произвольной, однако проект намного легче управляется, если все следуют одному стилю. Хотя кто-то может не соглашаться со всеми правилами (или пользоваться тем, чем привыкли), очень важно чтобы все следовали единым правилам, чтобы легко читать и понимать чужой код.
Для корректного форматирования мы создали ... Читать дальше »

Григорий Перельман

Окончив университет, Перельман учился в аспирантуре Ленинградского отделения Математического института им. В. А. Стеклова, защитил кандидатскую диссертацию и стал работать старшим научным сотрудником этого института. В начале 1990-х несколько лет работал в США, в  Курантовском институте математических наук, Университете штата Нью-Йорк в Стоуни-Брук и Калифорнийском университете в Беркли. Затем вернулся в Математический институт имени Стеклова. В 2002 – 2003 годах опубликовал на сайте препринтов arXiv.org три статьи, посвященные доказательству проблемы Пуанкаре, которые сразу привлекли внимание ученых. Перельман был приглашен в ряд университетов США, где выступил с докладами о своих работах. В 2006 году доказательство Перельмана было признано верным. В декабре 2005 года Григорий Перельман уво ... Читать дальше »

«Потрясающий» математический мост, простирающийся за пределы Великой теоремы Ферма

Когда в начале 1990-х Эндрю Джон Уайлс доказал Великую теорему Ферма, это стало монументальным шагом не только для математиков, но и для всего человечества. Формулировка теоремы очень проста – она утверждает, что у уравнения xⁿ + yⁿ = zⁿ нет целых положительных решений при n > 2. Однако это простое заявление привлекало огромное количество желающих доказать его более 350 лет, с тех пор, ... Читать дальше »

А что там у FreeBSD?

Очень давно, я сделал попытку установить FreeBSD на виртуальную машину, я обложился мануалами и начал. Не помню почему, но не вышло.) А тут я увидел, что в сети есть дистрибутив FuryBSD, основанный на FreeBSD, который по описаниям достаточно просто развернуть и имеет графическую оболочку. Решил, посмотреть, как разворачивается и всем показать.

Я использовал данный образ FuryBSD-12.1-XFCE-2020042001.iso.

... Читать дальше »

Задача 527. Алгоритм Евклида

Алгоритм Евклида - это, действительно, эффективный способ вычисления наибольшего общего делителя двух чисел. Но та версия, которую изучил Дима из условия задачи является неоптимальной. Давайте посмотрим на примере.

Вероятность в Python: перестановки и сочетания

Теория вероятности не сложная, по крайней мере, на уровне, необходимом для начала работы в науке о данных. Возможно, прошло какое-то время с тех пор, как вы познакомились с этой темой, и, если ваши знания немного ослабли, эта статья поможет вам вернуться в русло. 

Быстрый поиск в Google выявляет 4 основные математические темы, на которых основана вся область:

• Линейная алгебра ... Читать дальше »

Какие задачи решают программисты на собеседованиях в США

Независимо от языков, каждый программист должен обладать аналитическим и логическим мышлением, а также уметь выстраивать эффективные алгоритмы — именно эти способности интересуют HR и менеджеров в кандидатах. Потренируйтесь в составлении алгоритмов и решении логических задач. Представляем 16 реальных вариантов заданий, встречающихся в интервью американских IT-компаний.

Операции с матрицами в Excel

Под матрицей подразумевается набор ячеек, расположенных непосредственно друг возле друга и которые образуют вместе прямоугольник. Не требуется особых навыков, чтобы выполнять различные действия с матрицей, достаточно тех же, какие используются во время работы с классическим диапазоном.

Каждая матрица имеет свой адрес, записывающийся аналогичным диапазону способом. Первая составная часть – первая ячейка диапазона (расположенная в верхнем левом углу), а второй – последняя ячейка, которая находится в нижнем правом углу.