GitHub repository: Iijil1/MITMWFAR
Primary language: Go
Created: 2023-10-29T17:15:17Z
Description: Testing the feasability of using weighted automatons to describe non-regular languages that solve the halting problem for some turing machines