[Installando linux] Windows 8 ripristina automaticamente ordine boot UEFI

Ho acquistato un pc HP ultimamente, con windows 8 preinstallato e il bios UEFI. Dopo l’installazione di linux ho avuto problemi con il Windows Boot Manager, sostanzialmente ad ogni avvio di windows l’ordine di boot di UEFI cambiava, settando Windows Boot Manager in cima e spedendo il GRUB in coda. Era inconcepibile dover cambiare l’ordine dal firmware UEFI ad ogni … Continua a leggere

Ottenere path del file in esecuzione, cross platform

Uno dei tanti problemi nei progetti grandi, sono i path relativi. Se il programma ha la necessità di leggere un file durante la sua esecuzione, bisogna capire il path corretto all’interno del codice dove cercare il file. Come si fa quindi ad ottenere il path del file in esecuzione? N.B. non quello corrente, ma quello dove risiede il file eseguibile. … Continua a leggere

Compilare C++ per windows da Linux, cross compiling

Compilare C++ per windows da Linux. Installare un toolchain (“catena di strumenti”) sul sistema linux, in questa guida verrà installato mingw nel percorso /opt/mingw Scaricare Per windows 32 bit: Da linux 32 bit: mingw-w32-bin_i686-linux_20111031_sezero.tar.gz Da linux 64 bit: mingw-w32-bin_x86_64-linux_20111031_sezero.tar.gz Per windows 64 bit Da linux 32 bit: mingw-w64-bin_i686-linux_20111031_sezero.tar.gz Da linux 64 bit: mingw-w64-bin_x86_64-linux_20111031_sezero.tar.gz Scompattare l’archivio ottenuto nella cartella /opt/mingw Supponiamo … Continua a leggere

Esercizi svolti: Intersezione tra automi

Si dovrebbe già sapere che l’automa caratterizza un linguaggio regolare. E sappiamo che la classe dei linguaggi regolari è chiusa rispetto all’intersezione (al contrario della classe dei linguaggi liberi), ciò significa che l’intersezione tra due linguaggi regolari genera un altro linguaggio regolare (quindi caratterizzabile da un automa). Ora la domanda è: Dati due linguaggi regolari L1 e L2 caratterizzati dagli … Continua a leggere

Strumenti matematici online Wolfram|Alpha

Tantissimi strumenti matematici online (e non solo) in un unico sito web Vi presento uno strumento gratuito che ho trovato sul web che permette moltissimi calcoli matematici (e non solo), tra cui il calcolo della derivata e integrale. Si chiama Wolfram|Alpha e ho notato che è largamente usato tra i siti italiani che trattano di matematica (per esempio il “risolutore … Continua a leggere

Dimostrare che un linguaggio non è libero con il Pumping Lemma linguaggi liberi

Questo è un esercizio svolto per determinare se un linguaggio è libero usando il pumping lemma linguaggi liberi. Quindi bisogna dimostrare che un certo linguaggio L non è libero. Sia un linguaggio, dimostrare che non è libero. Devo usare il Pumping Lemma linguaggi liberi. Quindi tale che Valgono quelle condizioni (1), (2) e (3) Come per il pumping lemma linguaggi … Continua a leggere

Rimuovere protezione DRM da file PDF

Come rimuovere drm da pdf. Ho avuto la necessità di rimuovere la protezione password da un file pdf (ovviamente conoscevo la password!), per poter leggerlo anche dal mio ebook reader. Per rimuovere le password da documenti pdf basta installare il programma pdftk, quindi eseguendo il canonico comando sudo apt-get install pdftk, oppure trovandolo dal Gestore Pacchetti. Il software pdftk non … Continua a leggere

Esercizi svolti: Dimostrazione che un linguaggio è libero, teorema di chiusura e pumping lemma

Sia dato il linguaggio dimostrare che è libero e che non è regolare. Si userà: teorema di chiusura e pumping lemma dei linguaggi regolari (tipo 3). Posso dividere L in due linguaggi più semplici, in modo che L = L1 U L2 Per il teorema della chiusura dei linguaggi liberi da contesto rispetto all’operazione unione, se L1 e L2 sono … Continua a leggere

Esercizi svolti: Automa numeri romani DFA

L’esercizio consiste nel generare l’automa a stati finiti deterministico (DFA) dei numeri romani. Innanzitutto come è ovvio, se vogliamo insegnare qualcosa ad una macchina (o anche ad una persona) allora noi dobbiamo essere i primi a conoscerla bene. Quindi chiariamo prima come funziona la notazione dei numeri romani. Si basa su queste regole: I=1, V=5, X=10, L=50, C=100, D=500, M=1000 … Continua a leggere

Esercizi svolti: Pumping Lemma determinare il tipo di un linguaggio

Questo è un esercizio svolto per determinare il tipo di un linguaggio usando eventualmente il pumping lemma. Dato un linguaggio, bisogna determinarne il tipo usando strumenti formali (tra cui il pumping lemma). Il linguaggio proposto è abbastanza semplice, per una sfida più difficile (molto di più) leggere questo articolo. Sia dato il linguaggio determinarne il tipo. Uso il Pumping Lemma … Continua a leggere