音乐符号完成吗?

2021-04-04 21:03:38

我的第一个思想是音乐符号中有循环,但没有办法写条件分支,对吧?

8我不太了解音乐符号:你可以以某种方式编码无限量的"可变变量" (或"磁带")?否则,我不会看到它是如何完成的。 - Nikie.

@nikiei' m不确定否则是否作为存储的功能或类似的东西...... - 明亮

当然它是图灵完成的,只需使用8个不同的笔记来代表脑福的8个字符。 :) - 克里斯布尔棕色

然后,您可以将一块作为Choon解释,这是一个完成的。表演者是记忆:他们必须记住当前转移的笔记的数量,以及他们迄今为止播放的所有笔记。显然,只适用于计算机,或者也许是一个谨慎的人来说是可行的。

有三个转置指令,UP(+),下( - )并取消(。)。转换指令转换了播放的上次音符金额播放的所有后续音符。取消指令(。)将换位设置为零。

换位是累积的,因此Choon代码将未来票据转移2的2是B +,并且4将是B ++。此外,所使用的值是应用转置后的先前注释的值,因此B + B +将未来纸张转换为6,而不是4。

John Cage指令(%)导致输出流中的一个音符静音。 John Cage的转置值为零 - % - 而%+是无操作(除了将单个静默添加到输出中)。

重复栏指令(||:和:||)括起循环。循环将执行在|| ||播放的最新音符指示的次数:遇到的次数。零或负值将意味着Choon将立即跳转开始播放匹配:||。约翰笼意味着永远重复 - %|| :: ||是一个无限的循环。

调谐叉指令〜提供了一种破坏循环的方法。如果在循环中遇到调整叉子,并且最后一个音符播放是值A的备注,那么Choon将立即跳转开始播放下一个:||操作说明。如果没有:||指令(含义〜已在任何重复条外使用),然后性能将立即终止。

标记提供了奇妙的编程方便。标记是一个小写字母或单词,记得输出流中的点。参考标记(见下文)将导致记录播放在标记再次播放之后。请注意,转换将影响此新播放的注释。

在顺序发生两个或更多个标记的情况下,或者标记遵循播放从标记指令,必须由空格分开。

来自输出指令(=)的播放允许您再次播放已在输出流中播放的注释。您可以通过编号参考Notes - 自节目开始以来播放的第5次注释将是= 5,通过相对编号 - 第三次播放的第三次音符将是= -3或通过标记 - 标记x后播放的音符= X。

它是一个常见的成语来重复使用标记,然后立即引用它,如下所示:x = x。这类似于传统的编程语言中的x = x + x(其中y表示当前有效的转换值)。

John Cage刚刚休息,调整叉(大致)DAL SEGNO,标记是SEGNO。我想通过额外的表演者响应的额外表现者来播放调优叉,但原理是相同的。

2 I' D说这是问题的最佳答案:没有其他答案证明了音乐符号没有完成。 - k.steff.

这是我全年见过的最有趣的问题 - Charlie Martin.

完成完整性,至少需要三件事:无限循环,条件跳转(if-whif),以及将计算结果存储到内存中某处的方法。即使音乐符号有条件跳跃,它也没有状态,所以没有,它没有图灵完成。

11它的有条件跳跃,与重复迹象组合使用:"在第一次重复,在第二重复上播放这部分,播放该部分"重复计数器(播放时' d持有头部)是州。但它确实不会有一个包含无限磁带的状态。 - jesper.

有趣的事实:Lambda Calculus没有循环,没有条件跳跃,也没有办法将计算结果存储在内存中的某个位置。然而,它完整了;-) - Nikie.

@nikie:不要将抽象与现实混淆。 Lambda Calculus具有条件评估的概念,递归用于循环和跳跃,并且将状态计算为评估表达的结果。这个概念在那里;他们'从真正的计算机编程以一种非常不同的方式实施。 - 梅森惠勒

@masonwheeler:LC没有循环,状态和条件的基本概念,但您可以推导出一种服务的东西。这只是另一种方式来说这是另一种方式。所以问题不是:音乐符号是否有这些概念,但是:你能以某种方式派生它们吗?你只是声称你可以' t,没有证据。 (我同意你的结论,我只是认为你的推理有效。) - Nikie.

用于图灵的语言的标准证明是要在那种语言中编写一个图灵机。这证明了这方面的语言(通常是语言的子集)和图灵机之间的等价。

&#34的概念;音符符号"有点滑。使用了很多标准化的雕刻。然而。有信封推动的作曲家,他们在纸上写下各种疯狂的东西。

假装您想要专注于音乐符号的子集,被认为是足够的标准,足以成为Finale或Sibelius或一些主流雕刻工具集的一部分。

对于Python(或c或其他),您定义了符号,磁带,转换规则以及更新磁带以反映磁带上的状态更改和录音带的各种操作。

使用"音乐符号"我们必须定义符号和状态磁带,过渡规则和更新磁带的各种操作。

我们缺乏的是一个有状态录像带和规则,告诉音乐家如何如何响应录像带上的符号以及如何更新该磁带。

从某种意义上说,在空中流动的噪声可能是有状态磁带。但。没有简单的方法来倒带胶带。这种缺乏倒退意味着表演者必须保持私人"磁带"某种类型。

4好吧,你可以' t真的倒退了一个正在运行的程序......(但是是的,我得到了更新状态的意思,但这可能是一种功能语言吗?) - Izkata.

你不要倒带这个程序。你倒带录像带。重点是,图带磁带具有可访问的所有位置。它' s"随机存取存储器"简化到带前后运动的线性时间。 - S.Lott.

哦,我记得现在,抱歉。我在想"磁带"作为音乐被写的事情因某种原因=) - Izkata.

建立一个图灵的机器是证明某些东西的标准方法,但匡威不是真的 - 只是因为你无法弄清楚如何构建一个图灵的机器并不意味着什么不是图灵完成。一个图灵机(用磁带和所有)只是一个有足够的计算能力的任意抽象;还有其他抽象,没有录音带的概念。看看Lambda微积分,滑雪微积分或一些深奥的语言(Fractran很酷)。 - Tikhon Jelvis.

许多符号都是开放的解释,自然语言指令是音乐符号的一个接受的方面 - 并且在最重要的是,最重要的是西方知识音乐的所有历史。

定义定义上的费米依赖于表演者和#39;这意味着它取决于自己的状态,这几乎总是通过音乐改变到外部因素 - 所以这对音乐的无国籍性质提出了一些问题符号。

佳能来自巴赫' S音乐销料的每一个吨位是一个无限的环形块,他们每次都在执行这件件时每次升高一整个步骤。

最近,它'很常见,看看&#34等指令;对每个独奏家的重复;例如,在戴夫鲁佩克和#39等爵士队的指出版本的爵士乐件。

也就是说,除了像Fermata这样的固有任意方面,作为另一个答案状态,乐观符号,除了一般符号可能不是完整的。

不,您可以随时通过查看乐谱,如果这件作品永远或最终完成。因此,音符符号并未表现出停留问题,这证明它不完整。

完成完整性是指一组符号和用于操纵这些符号的一组规则。规则是有趣的部分。符号可以是任何东西,众所周知,只有两个符号可以逃脱。

如果我们只是考虑音乐符号一组符号,然后弥补我们自己的规则,那么我们可以轻松创建一个完成的系统。我们可以用任何一组任意符号做到这一点,所以这一点' T表示有趣的任何关于音乐符号的乐谱。

但是,如果我们只接受音乐符号中隐含的规则(即音乐家如何解释笔记并播放它们),那么否,音乐符号不是图灵完整。这可以看出,在任何纸张音乐终止时都可以看出。

(嗯,我猜我们可以写作#34;无限期地重复"在重复上。但即使我们允许作为符号的一部分,我们仍然可以轻松确定它是否终止或不终止的音乐。如果音乐符号是图灵完成的,这通常是不可能的。)

它与图灵完整语言无关,因为它是一种描述性语言。在计算或修改数据方面没有命令,没有任何状态,无输入,除非描述本身的结果外,没有输出。

根据输入,也没有条件跳跃。当您解决所有跳转时,您获得线性结构,而不是树。所以全部"节目"可以通过这种语言建模的,没有任何循环或全部跳跃的线性。

1图灵完整语言的列出的列出是什么。 Lambda Calculus仅具有应用程序,变量和lambdas(例如,没有循环,状态或命令),但正在完成。一堆其他型号的计算,如滑雪组合器。 - Tikhon Jelvis.

点击“发布答案”,您同意我们的服务条款,隐私政策和Cookie政策

不是答案你和#39;寻找?浏览其他标记的问题或提出您自己的问题。