论文标题
二次养殖方程，海森堡集团和形式语言
Quadratic Diophantine equations, the Heisenberg group and formal languages
论文作者
论文摘要
我们使用EDT0L语言在整数中具有两个变量的二次方程式表达了解决方案。我们使用它来表明EDT0L语言可用于描述Heisenberg组中单变量方程的解决方案。这是通过减少求解赫森伯格集团中单变量方程来求解整数中的方程的问题来完成的，从而利用了整数和nilpotent群体之间的牢固联系。
We express the solutions to quadratic equations with two variables in the ring of integers using EDT0L languages. We use this to show that EDT0L languages can be used to describe the solutions to one-variable equations in the Heisenberg group. This is done by reducing the question of solving a one-variable equation in the Heisenberg group to solving an equation in the ring of integers, exploiting the strong link between the ring of integers and nilpotent groups.
