This paper analyses a selection of articles from European transport regulations that contain algorithmic information, but may be problematic to implement. We focus on issues regarding the interpretation of tachograph data and requirements on weekly rest periods. We first show that the interpretation of data prescribed by these regulations is highly sensitive to minor variations in input, such that near-identical driving patterns may be regarded both as lawful and as unlawful. We then show that the content of the regulation may be represented in monadic second order logic, but argue that a more computationally tame fragment would be preferable for applications. As a case study we consider its representation in linear temporal logic, but show that a representation of the legislation requires formulas of unfeasible complexity, if at all possible.

本文分析了欧洲运输法规中包含算法信息但实施起来可能存在问题的一系列文章。我们专注于有关行车记录仪数据解释和每周休息时间要求的问题。我们首先表明，这些法规规定的数据解释对输入的微小变化高度敏感，因此几乎相同的驾驶模式可能被视为合法和非法。然后，我们证明了规则的内容可以用一元二阶逻辑表示，但认为在应用程序中更适合计算的片段。作为一个案例研究，我们考虑它在线性时间逻辑中的表示，但表明如果可能的话，立法的表示需要具有不可行的复杂性的公式。