[%] 랭귀지1->랭귀지2 변환은 불가능하다

[익명(119.206)]

모호성 판별 안됨 증명

교집합 스트링 안됨이 증명

온갖 명제들이 안된다는게 수학적으로 증명 되어있음

언어a -> 언어b 변환이

그냥 수학적으로 안됩니다 증명되어있어요 다

조건 존나타는 특이 케이스만 변환하는거에요 저런거

[익명(211.219)]

이거랑 언어 간 변환이 불가능하다는 명제랑은 다르잖아

[익명(211.234)]

니가 가져온건 증명은 변환에 관련된 내용은 하나도 없는데 뭘 수학적으로 안 된다는건냐 ㅋㅋㅋ 언어 변환은 교집합이 아니라 L1이 정의역이고 L2가 공역인 함수를 정의할 수 있냐는 문제인데

[익명(211.234)]

그리고 프로그래밍 언어는 context-free라서 변환이 어려운게 아니라 context-sensitive라서 변환이 어려운건데 가져온거에 그런 내용은 하나도 없네 ㅋㅋㅋㅋ

[익명(114.30)]

언어a -> 언어b 변환은 이미 컴파일러가 하는 일이다

[익명(114.30)]

C언어에서 러스트로 변환이 불가능함을 얘기하고 싶은거라면 연산이나 스코프 같은걸 수학적으로 표현하는 방법이 필요할거 같은데

[익명(114.30)]

근데 카이스트는 어떤 기발한 방법으로 증명을 했길래 100%라고 자신하는걸까?

[익명(211.234)]

저 논문에서 언제 100% 변환가능하다고 함? 아직 논문 안 봤는데 그런 얘기를 적으면 탑티어 컨퍼런스에서 통과할리가 없는데

[익명(211.234)]

아니면 C언어도 컴파일러 쓰니까 C컴파일러 뜯어서 빌드타겟을 러스트로 만들었을지도

[익명(211.234)]

하수: 임의의 언어에 적용 가능한 알고리즘이 없으니 불가능해서 못하겠어요ㅠ 고수: 특정 성질을 가진 언어에 적용 가능한 알고리즘을 찾아서 응용함

[익명(106.241)]

베이직 닷넷이랑 C#이랑 상호 변환 가능하고 JVM 위에서 동작하는 언어들은 다 상호변환 가능한 거 아님?

[익명(175.124)]

본문에서 말하는 건 특정 조건을 전제하지 않고 임의의 언어에서 임의이 언어로 변환 가능하냐는 얘기임

[익명(211.234)]

@ㅇㅇ(175.124) 근데 가져온 증명은 전부 변환이 아니라 합집합 있는지 검증하는것 뿐임

[익명(211.234)]

@ㅇㅇ(211.234) 합집합 -> 교집합

[익명(219.254)]

프로그래밍 언어 syntax는 대부분 unambiguous인데 cfg ambiguity 증명은 대체 왜 들고온거임?

[익명(121.154)]

프로그래밍 언어 이야기라면 결국은 튜링 머신이네 튜링 완전이네 하는 말까지 내려갈텐데 되기야 하겠지 극단적으로 말하면 같은 입력에 대해서 같은 결과가 나오는 구현이 언어가 다르다고 불가능하지는 않지

[익명(211.234)]

급 식 쩝 쩝 충