144 lines
5.6 KiB
Markdown
Raw Normal View History

---
id: 59e09e6d412c5939baa02d16
title: 执行马尔可夫算法
challengeType: 5
videoUrl: ''
---
# --description--
任务:
为[马尔可夫算法](<https://en.wikipedia.org/wiki/Markov algorithm> "wp马尔可夫算法")创建解释器。
规则具有以下语法:
:: =<!--undefined-->
<!--undefined-->
:: =- >\[。]
:: =|\[]
每行有一条规则。
如果有的话**。** (期间)出席之前,那么这是一个终止规则,在这种情况下,解释器必须停止执行。
规则集由一系列规则和可选注释组成。
规则集
对条目使用以下测试:
规则集1
<pre># This rules file is extracted from Wikipedia:
# <code>http://en.wikipedia.org/wiki/Markov_Algorithm</code>
A -> apple
B -> bag
S -> shop
T -> the
the shop -> my brother
a never used -> .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># Slightly modified from the rules on Wikipedia
A -> apple
B -> bag
S -> .shop
T -> the
the shop -> my brother
a never used -> .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 Syntax testing rules
A -> apple
WWWW -> with
Bgage -> ->.*
B -> bag
->.* -> money
W -> WW
S -> .shop
T -> the
the shop -> my brother
a never used -> .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> ##一元乘法引擎,用于测试马尔可夫算法实现
## Donal Fellows。
一元加法引擎_ + 1 - > _1 +
1 + 1 - > 11+
通过将乘法的分裂转换为普通的
addition1 - >1
- >+
_ - > _
通过复制左侧右侧乘以1 * 1 - > x@ y进行一元乘法
1x - > xX
X - > 1,1
X1 - > 1X
_x - > _X
x - >X
y1 - > 1y
y_ - > _
apply1 @ 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//en.wikipedia.org/wiki/Busy_beaver'>繁忙的海狸</a></p><p>磁带由0和1组成状态为ABC和H对于Halt并且通过在头部所在的字符之前写入状态字母来指示磁头位置。 </p><p>必须在输入中给出机器操作的初始磁带的所有部分。 </p><p>除了证明Markov算法是Turing-complete之外它还让我抓住了C ++实现中的一个错误,这个错误没有被前四个规则集捕获。 </p><pre>图灵机:三态繁忙的海狸
2020-08-13 17:35:04 +02:00
状态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向左移动停止0C1 - > H01
1C1 - > H11
</pre><p>这个规则集应该转向</p><p> <code>000000A000000</code> </p> <p></p><p> <code>00011H1111000</code> </p>
# --hints--
`markov`是一个功能。
```js
assert(typeof markov === 'function');
```
`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.")`应该回复“我从我兄弟那里买了一袋苹果”。
```js
assert.deepEqual(markov(rules[0], tests[0]), outputs[0]);
```
`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.")`应该回来“我从T商店买了一袋苹果。”
```js
assert.deepEqual(markov(rules[1], tests[1]), outputs[1]);
```
`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.")`应该返回”我从T商店用我的钱买了一袋苹果。“
```js
assert.deepEqual(markov(rules[2], tests[2]), outputs[2]);
```
`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_")`应返回”11111111111111111111“。
```js
assert.deepEqual(markov(rules[3], tests[3]), outputs[3]);
```
`markov(["A0 -> 1B","0A1 -> C01","1A1 -> C11","0B0 -> A01","1B0 -> A11","B1 -> 1B","0C0 -> B01","1C0 -> B11","0C1 -> H01","1C1 -> H11"],"")`应返回”00011H1111000“。
```js
assert.deepEqual(markov(rules[4], tests[4]), outputs[4]);
```
# --solutions--