NACLO（North American Computational Linguistics Olympiad）是一个以计算机语言学为主题的国际性竞赛。在NACLO中，参赛者需要通过解决一系列语言学问题，来展示自己的计算机语言学知识和能力。其中，电子式是NACLO竞赛中的一种常见题型，下面我们来介绍一下NACLO的电子式的写作方法。

电子式是一种通过给定的有限状态自动机（Finite State Automaton）来识别字符串的问题。在这种问题中，有限状态自动机是一个有向图，其中每个节点表示状态，每个有向边表示输入一个字符后的状态转移。对于每个给定的字符串，我们需要检查它是否能够被有限状态自动机所接受，即是否能够从有限状态自动机的起始状态开始，通过一系列状态转移，最终到达有限状态自动机的接受状态。

具体地，我们可以按照以下步骤来构建一个有限状态自动机：

1. 确定有限状态自动机的起始状态。

2. 确定有限状态自动机的接受状态。

3. 确定有限状态自动机的状态转移函数。这个函数将输入字符和当前状态作为输入，并返回下一个状态。

构建好有限状态自动机后，我们可以按照以下步骤来判断一个字符串是否被有限状态自动机所接受：

1. 从有限状态自动机的起始状态开始，按照字符串中的字符依次进行状态转移。

2. 如果在字符串的全部字符都被处理完后，有限状态自动机处于接受状态，则说明该字符串被有限状态自动机所接受；否则，该字符串不被有限状态自动机所接受。

需要注意的是，有限状态自动机只能接受有限长度的字符串。如果输入的字符串过长，可能会导致有限状态自动机的状态数过多，从而导致内存和时间的限制。

总之，NACLO的电子式是一种通过有限状态自动机来识别字符串的问题。在解决这种问题时，我们需要构建一个有限状态自动机，并按照一定的步骤来判断一个字符串是否被有限状态自动机所接受。