Linha do tempo de Uma linguagem subconjunto de uma linguagem livre de contexto é decidível?
Licença atual: CC BY-SA 4.0
13 eventos
quando alternar formato | o que | por | licença | comentário | |
---|---|---|---|---|---|
23/12/2020 às 16:35 | auditoria | Votos para fechar | |||
23/12/2020 às 16:35 | |||||
21/12/2020 às 16:47 | auditoria | Publicações de baixa qualidade | |||
21/12/2020 às 17:59 | |||||
19/12/2020 às 1:21 | auditoria | Publicações de baixa qualidade | |||
19/12/2020 às 1:22 | |||||
28/11/2020 às 14:21 | auditoria | Votos para fechar | |||
28/11/2020 às 14:21 | |||||
6/11/2020 às 15:56 | auditoria | Votos para fechar | |||
6/11/2020 às 15:56 | |||||
26/10/2020 às 23:30 | auditoria | Votos para reabrir | |||
26/10/2020 às 23:30 | |||||
15/10/2020 às 18:00 | histórico | twitado | twitter.com/StackOverflowPT/status/1316801028847788033 | ||
15/10/2020 às 13:46 | comentário | adicionado | Jefferson Quesado | O comentário acima foi para ilustrar que precisamos lidar com remoções infinitas de L para obter L', esqueci de adicionar essa motivação no meu comentário | |
15/10/2020 às 13:44 | resposta | adicionado | Jefferson Quesado | linha do tempo pontuação: 7 | |
15/10/2020 às 13:32 | comentário | adicionado | Jefferson Quesado |
Só para dar mais contexto para quem for responder, imagina que temos uma LLC L de parênteses: todo parêntese aberto precisa ser fechado e não posso fechar algo que não foi aberto. Isso significa que ((()())) é válido, porém ((())())) não é válido. Agora imagina que eu pego essa linguagem e removo todas as palavras que contenham (()) chamada L'; isso significa que ((())()) pertence a L, mas não a L', e ((()())) pertence a ambas
|
|
15/10/2020 às 13:29 | histórico | editada | Jefferson Quesado |
tags editadas
|
|
15/10/2020 às 13:20 | análise | Primeiras publicações | |||
15/10/2020 às 13:30 | |||||
15/10/2020 às 13:19 | histórico | perguntada | luisfelipe | CC BY-SA 4.0 |