public static boolean occorrenza(char[] x, char[] y, int k)
/*
restituisce true se esiste una occorrenza di y alla posizione k di x
restituisce false altrimenti

true solo se:
x[k] == y[0]
e
x[k+1] == y[1]
e
x[k+2] == y[2]
... e cosi' via per tutto y

*/


Una volta scritto il metodo, posso verificarne la correttezza provandolo con un piccolo main

char[] a={"s","o","n","o", "a", "n","d","a","t","o"," ","a"," ","s"};
char[] b={"a","n","d"};

... occorrenza(a, b, 0) deve restituire false
... occorrenza(a, b, 2) deve restituire false
... occorrenza(a, b, 4) deve restituire true
... occorrenza(a, b, 7) deve restituire false

....