119 lines
11 KiB
Markdown
119 lines
11 KiB
Markdown
|
---
|
|||
|
title: Execute a Markov algorithm
|
|||
|
id: 59e09e6d412c5939baa02d16
|
|||
|
challengeType: 5
|
|||
|
videoUrl: ''
|
|||
|
localeTitle: Выполнить алгоритм Маркова
|
|||
|
---
|
|||
|
|
|||
|
## Description
|
|||
|
<section id="description"> Задача: <p> Создайте интерпретатор для <a href="https://en.wikipedia.org/wiki/Markov algorithm" title="wp: алгоритм Маркова">алгоритма Маркова</a> . </p><p> Правила имеют синтаксис: </p><p><ruleset> знак равно <comment> | <rule> ) <newline> +) * </newline></rule></comment></ruleset></p><p><comment> знак равно <any character=""> } </any></comment></p><p><rule> знак равно <pattern><whitespace> -> <whitespace> [.] <replacement></replacement></whitespace></whitespace></pattern></rule></p><p><whitespace> знак равно <tab> | <space> ) [ <whitespace> ] </whitespace></space></tab></whitespace></p><p> В каждой строке есть одно правило. </p><p> Если есть <b>.</b> (период), присутствующий до <replacement> , то это правило окончания, в этом случае интерпретатор должен остановить выполнение. </replacement></p><p> Набор правил состоит из последовательности правил с необязательными комментариями. </p><p> <big><big>Rulesets</big></big> </p><p> Используйте следующие тесты для записей: </p> Правила 1: <pre> Этот файл правил извлекается из Википедии:
|
|||
|
http://en.wikipedia.org/wiki/Markov_AlgorithmA -> яблоко
|
|||
|
B -> сумка
|
|||
|
S -> магазин
|
|||
|
T ->
|
|||
|
магазин -> мой брат
|
|||
|
никогда не использовалось -> .terminating rule
|
|||
|
</pre><p> Пример текста: </p><p> <code>I bought a B of As from T S.</code> </p> <p> Должен генерировать вывод: </p><p> <code>I bought a bag of apples from my brother.</code> </p> Правила 2: <p> Проверка правила завершения </p><pre> Немного изменен из правил на WikipediaA -> apple
|
|||
|
B -> сумка
|
|||
|
S -> .shop
|
|||
|
T ->
|
|||
|
магазин -> мой брат
|
|||
|
никогда не использовалось -> .terminating rule </pre><p> Пример текста: </p><p> <code>I bought a B of As from T S.</code> </p> <p> Должна генерировать: </p><p> <code>I bought a bag of apples from T shop.</code> </p> Правила 3: <p> Это проверяет правильный порядок замещения и может задерживать простые подпрограммы на основе регулярного выражения, если специальные символы регулярного выражения не экранируются. </p><pre> BNF Синтаксические правила тестированияA -> apple
|
|||
|
WWWW -> с
|
|||
|
Багаж -> ->. *
|
|||
|
B -> сумка
|
|||
|
->. * -> деньги
|
|||
|
W -> WW
|
|||
|
S -> .shop
|
|||
|
T ->
|
|||
|
магазин -> мой брат
|
|||
|
никогда не использовалось -> .terminating rule
|
|||
|
</pre><p> Пример текста: </p><p> <code>I bought a B of As W my Bgage from T S.</code> </p> <p> Должна генерировать: </p><p> <code>I bought a bag of apples with my money from T shop.</code> </p> Правила 4: <p> Это проверяет правильность порядка сканирования правил и может задерживать процедуры замены, которые сканируются в неправильном порядке. Он реализует общий механизм унарного умножения. (Обратите внимание, что входное выражение должно быть помещено в символы подчеркивания в этой реализации.) </p><pre> ## Unary Multiplication Engine, для тестирования алгоритмов Алгоритма Маркова
|
|||
|
## Донал Стипендиаты.
|
|||
|
Унарное сложение engine_ + 1 -> _1 +
|
|||
|
1 + 1 -> 11+
|
|||
|
Переход для преобразования из расщепления умножения в обычный
|
|||
|
addition1! -> 1
|
|||
|
,! ->! +
|
|||
|
_! -> _
|
|||
|
Унарное умножение путем дублирования левой стороны, правое время 1 * 1 -> x, @ y
|
|||
|
1x -> xX
|
|||
|
X, -> 1,1
|
|||
|
X1 -> 1X
|
|||
|
_x -> _X
|
|||
|
, х ->, X
|
|||
|
y1 -> 1y
|
|||
|
y_ -> _
|
|||
|
Следующая фаза применения 1 @ 1 -> x, @ y
|
|||
|
1 @ _ -> @_
|
|||
|
, @ _ ->! _
|
|||
|
++ -> +
|
|||
|
Очистка выводов для добавления_1 -> 1
|
|||
|
1 + _ -> 1
|
|||
|
_ + _ ->
|
|||
|
</pre><p> Пример текста: </p><p> <code>_1111*11111_</code> </p> <p> должен генерировать вывод: </p><p> <code>11111111111111111111</code> </p> Правила 5: <p> Простая <a href="http://en.wikipedia.org/wiki/Turing_machine" title="ссылка: http://en.wikipedia.org/wiki/Turing_machine">машина Тьюринга</a> , </p><p> реализуя <a href="http://en.wikipedia.org/wiki/Busy_beaver" title="ссылка: http://ru.wikipedia.org/wiki/Busy_beaver">трехгосударственный бобр</a> . </p><p> Лента состоит из 0s и 1s, состояния A, B, C и H (для Halt), а положение головы указывается путем записи буквы состояния перед символом, где находится голова. </p><p> Все части исходной ленты, на которой работает машина, должны быть указаны на входе. </p><p> Кроме того, демонстрируя, что алгоритм Маркова является Turing-полным, он также заставил меня поймать ошибку в реализации C ++, которая не была захвачена первыми четырьмя наборами правил. </p><pre> Машина Тьюринга: бобер с тремя состояниями
|
|||
|
# состояние A, символ 0 => запись 1, перемещение вправо, новое состояние BA0 -> 1B
|
|||
|
состояние A, символ 1 => запись 1, перемещение влево, новое состояние C0A1 -> C01
|
|||
|
1A1 -> C11
|
|||
|
состояние B, символ 0 => запись 1, перемещение влево, новое состояние A0B0 -> A01
|
|||
|
1B0 -> A11
|
|||
|
состояние B, символ 1 => записать 1, двигаться вправо, новое состояние BB1 -> 1B
|
|||
|
состояние C, символ 0 => запись 1, перемещение влево, новое состояние B0C0 -> B01
|
|||
|
1C0 -> B11
|
|||
|
состояние C, символ 1 => запись 1, перемещение влево, halt0C1 -> H01
|
|||
|
1C1 -> H11
|
|||
|
</pre><p> Этот набор правил должен </p><p> <code>000000A000000</code> </p> <p> в </p><p> <code>00011H1111000</code> </p> </section>
|
|||
|
|
|||
|
## Instructions
|
|||
|
<section id="instructions">
|
|||
|
</section>
|
|||
|
|
|||
|
## Tests
|
|||
|
<section id='tests'>
|
|||
|
|
|||
|
```yml
|
|||
|
tests:
|
|||
|
- text: <code>markov</code> - функция.
|
|||
|
testString: 'assert(typeof markov === "function", "<code>markov</code> is a function.");'
|
|||
|
- text: '<code>markov(["A -> apple","B -> bag","S -> shop","T -> the","the shop -> my brother","a never used -> .terminating rule"],"I bought a B of As from T S.")</code> должен вернуться «Я купил мешок с яблоками от моего брата».'
|
|||
|
testString: 'assert.deepEqual(markov(rules[0],tests[0]),outputs[0],"<code>markov(["A -> apple","B -> bag","S -> shop","T -> the","the shop -> my brother","a never used -> .terminating rule"],"I bought a B of As from T S.")</code> should return "I bought a bag of apples from my brother.".");'
|
|||
|
- text: '<code>markov(["A -> apple","B -> bag","S -> .shop","T -> the","the shop -> my brother","a never used -> .terminating rule"],"I bought a B of As from T S.")</code> должен вернуться« Я купил мешок яблок из магазина T ».'
|
|||
|
testString: 'assert.deepEqual(markov(rules[1],tests[1]),outputs[1],"<code>markov(["A -> apple","B -> bag","S -> .shop","T -> the","the shop -> my brother","a never used -> .terminating rule"],"I bought a B of As from T S.")</code> should return "I bought a bag of apples from T shop.".");'
|
|||
|
- text: '<code>markov(["A -> apple","WWWW -> with","Bgage -> ->.*","B -> bag","->.* -> money","W -> WW","S -> .shop","T -> the","the shop -> my brother","a never used -> .terminating rule"],"I bought a B of As W my Bgage from T S.")</code> должен вернуться« Я купил мешок с яблоками с моими деньгами из магазина T ».'
|
|||
|
testString: 'assert.deepEqual(markov(rules[2],tests[2]),outputs[2],"<code>markov(["A -> apple","WWWW -> with","Bgage -> ->.*","B -> bag","->.* -> money","W -> WW","S -> .shop","T -> the","the shop -> my brother","a never used -> .terminating rule"],"I bought a B of As W my Bgage from T S.")</code> should return "I bought a bag of apples with my money from T shop.".");'
|
|||
|
- text: '<code>markov(["_+1 -> _1+","1+1 -> 11+","1! -> !1",",! -> !+","_! -> _","1*1 -> x,@y","1x -> xX","X, -> 1,1","X1 -> 1X","_x -> _X",",x -> ,X","y1 -> 1y","y_ -> _","1@1 -> x,@y","1@_ -> @_",",@_ -> !_","++ -> +","_1 -> 1","1+_ -> 1","_+_ -> "],"_1111*11111_")</code> должен возвращать" 11111111111111111111 ".'
|
|||
|
testString: 'assert.deepEqual(markov(rules[3],tests[3]),outputs[3],"<code>markov(["_+1 -> _1+","1+1 -> 11+","1! -> !1",",! -> !+","_! -> _","1*1 -> x,@y","1x -> xX","X, -> 1,1","X1 -> 1X","_x -> _X",",x -> ,X","y1 -> 1y","y_ -> _","1@1 -> x,@y","1@_ -> @_",",@_ -> !_","++ -> +","_1 -> 1","1+_ -> 1","_+_ -> "],"_1111*11111_")</code> should return "11111111111111111111".");'
|
|||
|
- text: '<code>markov(["A0 -> 1B","0A1 -> C01","1A1 -> C11","0B0 -> A01","1B0 -> A11","B1 -> 1B","0C0 -> B01","1C0 -> B11","0C1 -> H01","1C1 -> H11"],"")</code> должны возвращать« 00011H1111000 ».'
|
|||
|
testString: 'assert.deepEqual(markov(rules[4],tests[4]),outputs[4],"<code>markov(["A0 -> 1B","0A1 -> C01","1A1 -> C11","0B0 -> A01","1B0 -> A11","B1 -> 1B","0C0 -> B01","1C0 -> B11","0C1 -> H01","1C1 -> H11"],"")</code> should return "00011H1111000".");'
|
|||
|
|
|||
|
```
|
|||
|
|
|||
|
</section>
|
|||
|
|
|||
|
## Challenge Seed
|
|||
|
<section id='challengeSeed'>
|
|||
|
|
|||
|
<div id='js-seed'>
|
|||
|
|
|||
|
```js
|
|||
|
function markov (rules,test) {
|
|||
|
// Good luck!
|
|||
|
}
|
|||
|
|
|||
|
```
|
|||
|
|
|||
|
</div>
|
|||
|
|
|||
|
|
|||
|
|
|||
|
</section>
|
|||
|
|
|||
|
## Solution
|
|||
|
<section id='solution'>
|
|||
|
|
|||
|
```js
|
|||
|
// solution required
|
|||
|
```
|
|||
|
</section>
|