// prove.c
# include "alfa.h"

static int Albero(), Koch(), Morse();
///////////////////////////////////////
void Linden (Char A, Char B, int f())
{for (;*A;A++) B+=f(*A,B); *B=0;}

void Provalinden ()
{int n=100,max=2;
char a[n+4],b[n+4];
sprintf(a,"0");
while (strlen(a)<n/max)
{printf("%s\n",a); // Meglio \n\n
Linden(a,b,Morse);
sprintf(a,b);}}
///////////////////////////////////////
static int Albero (int a, Char B)
{switch(a)
{case 'a': sprintf(B,"aa"); break;
case 'x': sprintf(B,"a[dx]a[sx]dx"); break;
sprintf(B,"%c",a);}
return strlen(B);}

static int Koch (int a, Char B)
{switch(a)
{case 'a': sprintf(B,"adassada"); break;
sprintf(B,"%c",a);}
return strlen(B);}

static int Morse (int a, Char B)
{if (a=='0') sprintf(B,"01"); else
sprintf(B,"10"); return 2;}