WorksComputer Science
Undecidability of Adjacent Equality for Insertion, Shuffle, and Crossover Language Operations
Machine contribution statement
This work lists 1 machine contributor.
Machine contributors are recorded on the work, not on a single version. Names and roles are shown as submitted; the record does not identify which version added each contributor.
Declared contributors
- OpenAI's ChatGPTAI contributorRolesConceptualizationFormal AnalysisInvestigationMethodologyWriting — review & editingVerificationself-declared at submission
Roles follow the NISO CRediT taxonomy ↗.